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-n3703.opb
MD5SUM	a137a4431766bfb5dcfb15040aa6f686
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	154999
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	29657420026984
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	29657420026984
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.43978
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 29689

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-25 10:29:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21093 boxname=wulflinc12 idbench=1081 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  a137a4431766bfb5dcfb15040aa6f686  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-n3703.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-n3703.opb
IDLAUNCH: 21093
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        375392 kB
Buffers:         34368 kB
Cached:         602704 kB
SwapCached:        564 kB
Active:          45888 kB
Inactive:       593600 kB
HighTotal:      131008 kB
HighFree:        22596 kB
LowTotal:       903652 kB
LowFree:        352796 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            14072 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:51:28 (client local time) WITH STATUS 143 IN 1311.23 SECONDS
stats: 21093 7 1311.23 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/wulflinc12/normalized-mps-v2-20-10-n3703.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.24
#### 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 10992
Raw data (stat): 10992 (runsolver) R 10991 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779939235 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.0003 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18008 0 1 0 866 40 0 0 25 0 10 0 779939235 853590016 19353 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 19353 13086 16 0 208380 0
vsize: 833584
[startup+20.0008 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 1761 40 0 0 24 0 10 0 779939235 855687168 20336 4294967295 134512640 134569956 3221224368 3221214464 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208908 20336 13086 16 0 208892 0
vsize: 835632
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 2658 40 0 0 25 0 10 0 779939235 854638592 20476 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 20476 13086 16 0 208636 0
vsize: 834608
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 3571 41 0 0 25 0 10 0 779939235 854638592 20900 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 20900 13086 16 0 208636 0
vsize: 834608
[startup+50.0044 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 4498 41 0 0 25 0 10 0 779939235 854638592 21056 4294967295 134512640 134569956 3221224368 3221214768 1131242750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 21056 13086 16 0 208636 0
vsize: 834608
[startup+60.0047 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 5413 41 0 0 24 0 10 0 779939235 854638592 21190 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208652 21190 13086 16 0 208636 0
vsize: 834608
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 6342 42 0 0 25 0 10 0 779939235 854654976 21374 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 21374 13086 16 0 208640 0
vsize: 834624
[startup+80.0062 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 7284 42 0 0 25 0 10 0 779939235 854654976 21471 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 21471 13086 16 0 208640 0
vsize: 834624
[startup+90.0062 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 8227 42 0 0 25 0 10 0 779939235 854654976 21560 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 21560 13086 16 0 208640 0
vsize: 834624
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 9171 42 0 0 25 0 10 0 779939235 854654976 21642 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 21642 13086 16 0 208640 0
vsize: 834624
[startup+110.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 10116 42 0 0 25 0 10 0 779939235 854654976 21719 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 21719 13086 16 0 208640 0
vsize: 834624
[startup+120.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) S 10991 32284 32283 0 -1 0 18009 0 1 0 11058 42 0 0 25 0 10 0 779939235 854654976 21794 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 21794 13086 16 0 208640 0
vsize: 834624
[startup+130.013 s]
Raw data (loadavg): 0.99 0.98 0.99 3/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 12003 42 0 0 25 0 10 0 779939235 854654976 21865 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 21865 13086 16 0 208640 0
vsize: 834624
[startup+140.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 12948 42 0 0 25 0 10 0 779939235 854654976 21930 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 21930 13086 16 0 208640 0
vsize: 834624
[startup+150.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 13892 43 0 0 25 0 10 0 779939235 854654976 21993 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 21993 13086 16 0 208640 0
vsize: 834624
[startup+160.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 14836 43 0 0 25 0 10 0 779939235 854654976 22053 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22053 13086 16 0 208640 0
vsize: 834624
[startup+170.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 15777 44 0 0 25 0 10 0 779939235 854654976 22114 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22114 13086 16 0 208640 0
vsize: 834624
[startup+180.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 16699 44 0 0 25 0 10 0 779939235 854654976 22170 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22170 13086 16 0 208640 0
vsize: 834624
[startup+190.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) S 10991 32284 32283 0 -1 0 18009 0 1 0 17617 44 0 0 25 0 10 0 779939235 854654976 22222 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22222 13086 16 0 208640 0
vsize: 834624
[startup+200.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 18550 45 0 0 24 0 10 0 779939235 854654976 22534 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22534 13086 16 0 208640 0
vsize: 834624
[startup+210.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 19491 45 0 0 25 0 10 0 779939235 854654976 22585 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22585 13086 16 0 208640 0
vsize: 834624
[startup+220.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 20431 45 0 0 25 0 10 0 779939235 854654976 22634 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22634 13086 16 0 208640 0
vsize: 834624
[startup+230.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 21371 45 0 0 25 0 10 0 779939235 854654976 22683 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22683 13086 16 0 208640 0
vsize: 834624
[startup+240.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 22310 46 0 0 25 0 10 0 779939235 854654976 22730 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 22730 13086 16 0 208640 0
vsize: 834624
[startup+250.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 23246 46 0 0 24 0 10 0 779939235 854654976 22779 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22779 13086 16 0 208640 0
vsize: 834624
[startup+260.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 24184 46 0 0 25 0 10 0 779939235 854654976 22825 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22825 13086 16 0 208640 0
vsize: 834624
[startup+270.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 25123 46 0 0 25 0 10 0 779939235 854654976 22869 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22869 13086 16 0 208640 0
vsize: 834624
[startup+280.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 26062 46 0 0 25 0 10 0 779939235 854654976 22912 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22912 13086 16 0 208640 0
vsize: 834624
[startup+290.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 27000 47 0 0 25 0 10 0 779939235 854654976 22955 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22955 13086 16 0 208640 0
vsize: 834624
[startup+300.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 27937 47 0 0 25 0 10 0 779939235 854654976 22998 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22998 13086 16 0 208640 0
vsize: 834624
[startup+310.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 28874 47 0 0 25 0 10 0 779939235 854654976 23039 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23039 13086 16 0 208640 0
vsize: 834624
[startup+320.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 29810 48 0 0 25 0 10 0 779939235 854654976 23080 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23080 13086 16 0 208640 0
vsize: 834624
[startup+330.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 30746 48 0 0 25 0 10 0 779939235 854654976 23120 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23120 13086 16 0 208640 0
vsize: 834624
[startup+340.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 31681 48 0 0 25 0 10 0 779939235 854654976 23160 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23160 13086 16 0 208640 0
vsize: 834624
[startup+350.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) S 10991 32284 32283 0 -1 0 18009 0 1 0 32614 49 0 0 25 0 10 0 779939235 854654976 23199 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23199 13086 16 0 208640 0
vsize: 834624
[startup+360.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) S 10991 32284 32283 0 -1 0 18009 0 1 0 33548 49 0 0 25 0 10 0 779939235 854654976 23238 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23238 13086 16 0 208640 0
vsize: 834624
[startup+370.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) S 10991 32284 32283 0 -1 0 18009 0 1 0 34482 49 0 0 25 0 10 0 779939235 854654976 23275 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23275 13086 16 0 208640 0
vsize: 834624
[startup+380.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) S 10991 32284 32283 0 -1 0 18009 0 1 0 35416 50 0 0 25 0 10 0 779939235 854654976 23313 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23313 13086 16 0 208640 0
vsize: 834624
[startup+390.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) S 10991 32284 32283 0 -1 0 18009 0 1 0 36351 50 0 0 25 0 10 0 779939235 854654976 23350 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23350 13086 16 0 208640 0
vsize: 834624
[startup+400.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) S 10991 32284 32283 0 -1 0 18009 0 1 0 37285 50 0 0 25 0 10 0 779939235 854654976 23385 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23385 13086 16 0 208640 0
vsize: 834624
[startup+410.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 38217 51 0 0 25 0 10 0 779939235 854654976 23421 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23421 13086 16 0 208640 0
vsize: 834624
[startup+420.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 39149 51 0 0 25 0 10 0 779939235 854654976 23456 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23456 13086 16 0 208640 0
vsize: 834624
[startup+430.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 40081 52 0 0 25 0 10 0 779939235 854654976 23491 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23491 13086 16 0 208640 0
vsize: 834624
[startup+440.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 41012 52 0 0 25 0 10 0 779939235 854654976 23525 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23525 13086 16 0 208640 0
vsize: 834624
[startup+450.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 41943 52 0 0 25 0 10 0 779939235 854654976 23559 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23559 13086 16 0 208640 0
vsize: 834624
[startup+460.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 42874 53 0 0 25 0 10 0 779939235 854654976 23593 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23593 13086 16 0 208640 0
vsize: 834624
[startup+470.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 43805 53 0 0 25 0 10 0 779939235 854654976 23626 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23626 13086 16 0 208640 0
vsize: 834624
[startup+480.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 44734 53 0 0 25 0 10 0 779939235 854654976 23659 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23659 13086 16 0 208640 0
vsize: 834624
[startup+490.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 45663 54 0 0 25 0 10 0 779939235 854654976 23691 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23691 13086 16 0 208640 0
vsize: 834624
[startup+500.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 46593 55 0 0 25 0 10 0 779939235 854654976 23723 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23723 13086 16 0 208640 0
vsize: 834624
[startup+510.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) S 10991 32284 32283 0 -1 0 18009 0 1 0 47523 55 0 0 25 0 10 0 779939235 854654976 23754 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23754 13086 16 0 208640 0
vsize: 834624
[startup+520.049 s]
Raw data (loadavg): 0.99 0.98 0.99 3/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 48454 56 0 0 25 0 10 0 779939235 854654976 23784 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 23784 13086 16 0 208640 0
vsize: 834624
[startup+530.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 49381 56 0 0 25 0 10 0 779939235 854654976 23817 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23817 13086 16 0 208640 0
vsize: 834624
[startup+540.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 50308 56 0 0 25 0 10 0 779939235 854654976 23847 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23847 13086 16 0 208640 0
vsize: 834624
[startup+550.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 51235 57 0 0 25 0 10 0 779939235 854654976 23878 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 23878 13086 16 0 208640 0
vsize: 834624
[startup+560.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 52162 57 0 0 25 0 10 0 779939235 854654976 23908 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23908 13086 16 0 208640 0
vsize: 834624
[startup+570.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) S 10991 32284 32283 0 -1 0 18009 0 1 0 53090 58 0 0 25 0 10 0 779939235 854654976 23937 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23937 13086 16 0 208640 0
vsize: 834624
[startup+580.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 54017 59 0 0 25 0 10 0 779939235 854654976 23966 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 23966 13086 16 0 208640 0
vsize: 834624
[startup+590.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 54944 59 0 0 25 0 10 0 779939235 854654976 23995 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23995 13086 16 0 208640 0
vsize: 834624
[startup+600.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 55869 59 0 0 25 0 10 0 779939235 854654976 24024 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 24024 13086 16 0 208640 0
vsize: 834624
[startup+610.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 56793 59 0 0 24 0 10 0 779939235 854654976 24053 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 24053 13086 16 0 208640 0
vsize: 834624
[startup+620.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 57722 59 0 0 25 0 10 0 779939235 854654976 24080 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 24080 13086 16 0 208640 0
vsize: 834624
[startup+630.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 58646 60 0 0 25 0 10 0 779939235 854654976 24109 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 24109 13086 16 0 208640 0
vsize: 834624
[startup+640.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 59570 60 0 0 25 0 10 0 779939235 854654976 24137 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 24137 13086 16 0 208640 0
vsize: 834624
[startup+650.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 60493 61 0 0 24 0 10 0 779939235 854654976 24165 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 24165 13086 16 0 208640 0
vsize: 834624
[startup+660.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 61422 61 0 0 25 0 10 0 779939235 854654976 24191 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 24191 13086 16 0 208640 0
vsize: 834624
[startup+670.058 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 62345 62 0 0 25 0 10 0 779939235 854654976 24218 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 24218 13086 16 0 208640 0
vsize: 834624
[startup+680.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 63268 62 0 0 25 0 10 0 779939235 854654976 24246 4294967295 134512640 134569956 3221224368 3221214756 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 24246 13086 16 0 208640 0
vsize: 834624
[startup+690.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 64191 62 0 0 25 0 10 0 779939235 854654976 25180 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25180 13086 16 0 208640 0
vsize: 834624
[startup+700.061 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 65108 63 0 0 25 0 10 0 779939235 854654976 25180 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 25180 13086 16 0 208640 0
vsize: 834624
[startup+710.061 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 66026 63 0 0 25 0 10 0 779939235 854654976 25204 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25204 13086 16 0 208640 0
vsize: 834624
[startup+720.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 66939 64 0 0 25 0 10 0 779939235 854654976 25231 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25231 13086 16 0 208640 0
vsize: 834624
[startup+730.061 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 67855 65 0 0 25 0 10 0 779939235 854654976 25255 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25255 13086 16 0 208640 0
vsize: 834624
[startup+740.062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 68766 65 0 0 25 0 10 0 779939235 854654976 25282 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25282 13086 16 0 208640 0
vsize: 834624
[startup+750.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 69683 65 0 0 25 0 10 0 779939235 854654976 25306 4294967295 134512640 134569956 3221224368 3221213864 1080179122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25306 13086 16 0 208640 0
vsize: 834624
[startup+760.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 70594 66 0 0 25 0 10 0 779939235 854654976 25332 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25332 13086 16 0 208640 0
vsize: 834624
[startup+770.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) S 10991 32284 32283 0 -1 0 18009 0 1 0 71511 66 0 0 25 0 10 0 779939235 854654976 25356 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25356 13086 16 0 208640 0
vsize: 834624
[startup+780.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 72422 67 0 0 25 0 10 0 779939235 854654976 25381 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25381 13086 16 0 208640 0
vsize: 834624
[startup+790.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 73338 67 0 0 25 0 10 0 779939235 854654976 25405 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25405 13086 16 0 208640 0
vsize: 834624
[startup+800.065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 74248 67 0 0 25 0 10 0 779939235 854654976 25430 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25430 13086 16 0 208640 0
vsize: 834624
[startup+810.065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 75163 68 0 0 25 0 10 0 779939235 854654976 25454 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25454 13086 16 0 208640 0
vsize: 834624
[startup+820.065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 76073 68 0 0 25 0 10 0 779939235 854654976 25479 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25479 13086 16 0 208640 0
vsize: 834624
[startup+830.066 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 76988 69 0 0 25 0 10 0 779939235 854654976 25502 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25502 13086 16 0 208640 0
vsize: 834624
[startup+840.067 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 77896 69 0 0 25 0 10 0 779939235 854654976 25526 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25526 13086 16 0 208640 0
vsize: 834624
[startup+850.067 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 78810 69 0 0 25 0 10 0 779939235 854654976 25549 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25549 13086 16 0 208640 0
vsize: 834624
[startup+860.068 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 79718 69 0 0 24 0 10 0 779939235 854654976 25573 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25573 13086 16 0 208640 0
vsize: 834624
[startup+870.068 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 80631 70 0 0 25 0 10 0 779939235 854654976 25596 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25596 13086 16 0 208640 0
vsize: 834624
[startup+880.069 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 81544 71 0 0 25 0 10 0 779939235 854654976 25618 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25618 13086 16 0 208640 0
vsize: 834624
[startup+890.069 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 82452 71 0 0 25 0 10 0 779939235 854654976 25642 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25642 13086 16 0 208640 0
vsize: 834624
[startup+900.069 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 83365 72 0 0 25 0 10 0 779939235 854654976 25665 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25665 13086 16 0 208640 0
vsize: 834624
[startup+910.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 84271 72 0 0 25 0 10 0 779939235 854654976 25688 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 25688 13086 16 0 208640 0
vsize: 834624
[startup+920.071 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 85184 73 0 0 25 0 10 0 779939235 854654976 25710 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25710 13086 16 0 208640 0
vsize: 834624
[startup+930.071 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 86096 73 0 0 25 0 10 0 779939235 854654976 25733 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25733 13086 16 0 208640 0
vsize: 834624
[startup+940.072 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 87002 74 0 0 25 0 10 0 779939235 854654976 25760 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25760 13086 16 0 208640 0
vsize: 834624
[startup+950.073 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 87914 74 0 0 25 0 10 0 779939235 854654976 25784 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25784 13086 16 0 208640 0
vsize: 834624
[startup+960.074 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) S 10991 32284 32283 0 -1 0 18009 0 1 0 88823 74 0 0 25 0 10 0 779939235 854654976 25807 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25807 13086 16 0 208640 0
vsize: 834624
[startup+970.073 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 89729 75 0 0 25 0 10 0 779939235 854654976 25830 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25830 13086 16 0 208640 0
vsize: 834624
[startup+980.075 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 90640 75 0 0 25 0 10 0 779939235 854654976 25861 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25861 13086 16 0 208640 0
vsize: 834624
[startup+990.075 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 91543 75 0 0 24 0 10 0 779939235 854654976 25888 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25888 13086 16 0 208640 0
vsize: 834624
[startup+1000.08 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 92452 76 0 0 25 0 10 0 779939235 854654976 25910 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25910 13086 16 0 208640 0
vsize: 834624
[startup+1010.08 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 93362 76 0 0 25 0 10 0 779939235 854654976 25936 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25936 13086 16 0 208640 0
vsize: 834624
[startup+1020.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) S 10991 32284 32283 0 -1 0 18009 0 1 0 94267 76 0 0 25 0 10 0 779939235 854654976 25962 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25962 13086 16 0 208640 0
vsize: 834624
[startup+1030.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 95176 77 0 0 25 0 10 0 779939235 854654976 25987 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 25987 13086 16 0 208640 0
vsize: 834624
[startup+1040.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 96085 77 0 0 25 0 10 0 779939235 854654976 26008 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26008 13086 16 0 208640 0
vsize: 834624
[startup+1050.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) S 10991 32284 32283 0 -1 0 18009 0 1 0 96991 77 0 0 25 0 10 0 779939235 854654976 26029 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26029 13086 16 0 208640 0
vsize: 834624
[startup+1060.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 97897 78 0 0 25 0 10 0 779939235 854654976 26061 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26061 13086 16 0 208640 0
vsize: 834624
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 98806 78 0 0 25 0 10 0 779939235 854654976 26082 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26082 13086 16 0 208640 0
vsize: 834624
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) S 10991 32284 32283 0 -1 0 18009 0 1 0 99714 79 0 0 24 0 10 0 779939235 854654976 26108 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26108 13086 16 0 208640 0
vsize: 834624
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 100616 79 0 0 19 0 10 0 779939235 854654976 26134 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26134 13086 16 0 208640 0
vsize: 834624
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 101521 80 0 0 20 0 10 0 779939235 854654976 26157 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26157 13086 16 0 208640 0
vsize: 834624
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 102427 80 0 0 23 0 10 0 779939235 854654976 26180 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26180 13086 16 0 208640 0
vsize: 834624
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) S 10991 32284 32283 0 -1 0 18009 0 1 0 103332 81 0 0 24 0 10 0 779939235 854654976 26201 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26201 13086 16 0 208640 0
vsize: 834624
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 104234 81 0 0 19 0 10 0 779939235 854654976 26227 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26227 13086 16 0 208640 0
vsize: 834624
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 105140 82 0 0 21 0 10 0 779939235 854654976 26250 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26250 13086 16 0 208640 0
vsize: 834624
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 106046 82 0 0 22 0 10 0 779939235 854654976 26274 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26274 13086 16 0 208640 0
vsize: 834624
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) S 10991 32284 32283 0 -1 0 18009 0 1 0 106951 83 0 0 24 0 10 0 779939235 854654976 26298 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26298 13086 16 0 208640 0
vsize: 834624
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 107851 83 0 0 19 0 10 0 779939235 854654976 26322 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26322 13086 16 0 208640 0
vsize: 834624
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 108755 84 0 0 21 0 10 0 779939235 854654976 26342 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26342 13086 16 0 208640 0
vsize: 834624
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 109661 84 0 0 22 0 10 0 779939235 854654976 26368 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26368 13086 16 0 208640 0
vsize: 834624
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 110566 84 0 0 24 0 10 0 779939235 854654976 26390 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26390 13086 16 0 208640 0
vsize: 834624
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 111464 85 0 0 18 0 10 0 779939235 854654976 26413 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26413 13086 16 0 208640 0
vsize: 834624
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 112369 85 0 0 19 0 10 0 779939235 854654976 26437 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26437 13086 16 0 208640 0
vsize: 834624
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 113272 86 0 0 21 0 10 0 779939235 854654976 26459 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26459 13086 16 0 208640 0
vsize: 834624
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 114173 86 0 0 21 0 10 0 779939235 854654976 26482 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26482 13086 16 0 208640 0
vsize: 834624
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 115075 86 0 0 23 0 10 0 779939235 854654976 26503 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26503 13086 16 0 208640 0
vsize: 834624
[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) S 10991 32284 32283 0 -1 0 18009 0 1 0 115976 87 0 0 23 0 10 0 779939235 854654976 26524 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26524 13086 16 0 208640 0
vsize: 834624
[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 116875 88 0 0 17 0 10 0 779939235 854654976 26543 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26543 13086 16 0 208640 0
vsize: 834624
[startup+1280.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 117778 88 0 0 19 0 10 0 779939235 854654976 26562 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26562 13086 16 0 208640 0
vsize: 834624
[startup+1290.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 118681 89 0 0 20 0 10 0 779939235 854654976 26593 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26593 13086 16 0 208640 0
vsize: 834624
[startup+1300.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 119583 89 0 0 21 0 10 0 779939235 854654976 26611 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26611 13086 16 0 208640 0
vsize: 834624
[startup+1310.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11001
Raw data (stat): 10992 (java) R 10991 32284 32283 0 -1 0 18009 0 1 0 120486 90 0 0 23 0 10 0 779939235 854654976 26642 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 26642 13086 16 0 208640 0
vsize: 834624
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.33 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 11003
Raw data (stat): 10992 (java) Z 10991 32284 32283 0 -1 1036 18009 9545 1 0 120496 90 10487 48 19 0 1 0 779939235 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.33
CPU time (s): 1311.23
CPU user time (s): 1309.83
CPU system time (s): 1.39179
CPU usage (%): 100.068
Max. virtual memory (Kb): 835632
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####