PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb
MD5SUM	bd41ba4f2ddbc80664ba643e2dc93b96
Bench Category	optimization, medium integers (OPTMEDINT)
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	75648
Biggest coefficient in the objective function	100303
Number of bits for the biggest coefficient in the objective function	17
Sum of the numbers in the objective function	7576279200
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	100303
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	7576279200
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.74658
Number of variables	204880
Total number of constraints	364368
Number of constraints which are clauses	129232
Number of constraints which are cardinality constraints (but not clauses)	210685
Number of constraints which are nor clauses,nor cardinality constraints	24451
Minimum length of a constraint	1
Maximum length of a constraint	120
Trace number 29614

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-25 09:33:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21016 boxname=wulflinc9 idbench=1004 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  bd41ba4f2ddbc80664ba643e2dc93b96  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-stp3d.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-stp3d.opb
IDLAUNCH: 21016
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        466212 kB
Buffers:         32876 kB
Cached:         513668 kB
SwapCached:        584 kB
Active:          73552 kB
Inactive:       475112 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        465960 kB
SwapTotal:     2097136 kB
SwapFree:      2095724 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5416 kB
Slab:            14200 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 09:55:17 (client local time) WITH STATUS 143 IN 1312.39 SECONDS
stats: 21016 7 1312.39 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/wulflinc9/normalized-mps-v2-20-10-stp3d.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.115
#### 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.88 0.97 0.99 2/54 18711
Raw data (stat): 18711 (runsolver) R 18710 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779607683 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.001 s]
Raw data (loadavg): 0.90 0.97 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18001 0 1 0 866 47 0 0 24 0 10 0 779607683 853680128 19264 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208418 19264 13086 16 0 208402 0
vsize: 833672
[startup+20.0048 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) S 18710 3944 3943 0 -1 0 18002 0 1 0 1760 48 0 0 25 0 10 0 779607683 854925312 20016 4294967295 134512640 134569956 3221224368 3221213772 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208722 20016 13086 16 0 208706 0
vsize: 834888
[startup+30.0045 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 2654 48 0 0 25 0 10 0 779607683 854925312 20511 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208722 20511 13086 16 0 208706 0
vsize: 834888
[startup+40.0059 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 3568 48 0 0 25 0 10 0 779607683 854761472 20797 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208682 20797 13086 16 0 208666 0
vsize: 834728
[startup+50.0061 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 4491 48 0 0 25 0 10 0 779607683 854761472 20964 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208682 20964 13086 16 0 208666 0
vsize: 834728
[startup+60.0069 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 5406 49 0 0 25 0 10 0 779607683 854761472 21099 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208682 21099 13086 16 0 208666 0
vsize: 834728
[startup+70.0072 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 6331 49 0 0 24 0 10 0 779607683 854171648 21223 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 21223 13086 16 0 208522 0
vsize: 834152
[startup+80.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 7272 49 0 0 25 0 10 0 779607683 854171648 21321 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 21321 13086 16 0 208522 0
vsize: 834152
[startup+90.0082 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 8210 49 0 0 25 0 10 0 779607683 854171648 21417 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 21417 13086 16 0 208522 0
vsize: 834152
[startup+100.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 9150 49 0 0 25 0 10 0 779607683 854171648 21505 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 21505 13086 16 0 208522 0
vsize: 834152
[startup+110.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 10094 50 0 0 25 0 10 0 779607683 854171648 21583 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 21583 13086 16 0 208522 0
vsize: 834152
[startup+120.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 11035 50 0 0 25 0 10 0 779607683 854171648 21662 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 21662 13086 16 0 208522 0
vsize: 834152
[startup+130.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 11977 50 0 0 25 0 10 0 779607683 854171648 21736 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 21736 13086 16 0 208522 0
vsize: 834152
[startup+140.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 12919 51 0 0 25 0 10 0 779607683 854171648 21806 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 21806 13086 16 0 208522 0
vsize: 834152
[startup+150.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 13863 51 0 0 25 0 10 0 779607683 854171648 21869 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 21869 13086 16 0 208522 0
vsize: 834152
[startup+160.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 14805 51 0 0 25 0 10 0 779607683 854171648 21934 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 21934 13086 16 0 208522 0
vsize: 834152
[startup+170.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 15742 51 0 0 25 0 10 0 779607683 854171648 21996 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 21996 13086 16 0 208522 0
vsize: 834152
[startup+180.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 16658 52 0 0 25 0 10 0 779607683 854171648 22052 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208538 22052 13086 16 0 208522 0
vsize: 834152
[startup+190.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 17580 52 0 0 25 0 10 0 779607683 854171648 22364 4294967295 134512640 134569956 3221224368 3221214224 1080019619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208538 22364 13086 16 0 208522 0
vsize: 834152
[startup+200.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 18519 52 0 0 25 0 10 0 779607683 854171648 22420 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208538 22420 13086 16 0 208522 0
vsize: 834152
[startup+210.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 19460 53 0 0 25 0 10 0 779607683 854171648 22472 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208538 22472 13086 16 0 208522 0
vsize: 834152
[startup+220.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 20398 53 0 0 25 0 10 0 779607683 854171648 22525 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208538 22525 13086 16 0 208522 0
vsize: 834152
[startup+230.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) S 18710 3944 3943 0 -1 0 18002 0 1 0 21335 54 0 0 25 0 10 0 779607683 854171648 22575 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208538 22576 13086 16 0 208522 0
vsize: 834152
[startup+240.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 22276 54 0 0 25 0 10 0 779607683 854171648 22626 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208538 22626 13086 16 0 208522 0
vsize: 834152
[startup+250.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) S 18710 3944 3943 0 -1 0 18002 0 1 0 23213 54 0 0 25 0 10 0 779607683 854171648 22674 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208538 22674 13086 16 0 208522 0
vsize: 834152
[startup+260.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 24153 54 0 0 25 0 10 0 779607683 854171648 22721 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208538 22721 13086 16 0 208522 0
vsize: 834152
[startup+270.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 25088 55 0 0 24 0 10 0 779607683 854171648 22769 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208538 22769 13086 16 0 208522 0
vsize: 834152
[startup+280.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 26027 55 0 0 25 0 10 0 779607683 854171648 22812 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208538 22812 13086 16 0 208522 0
vsize: 834152
[startup+290.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 26963 55 0 0 24 0 10 0 779607683 854171648 22858 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208538 22858 13086 16 0 208522 0
vsize: 834152
[startup+300.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 27901 56 0 0 25 0 10 0 779607683 854171648 22900 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208538 22900 13086 16 0 208522 0
vsize: 834152
[startup+310.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 28836 56 0 0 16 0 10 0 779607683 854171648 22944 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 22944 13086 16 0 208522 0
vsize: 834152
[startup+320.023 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 29773 56 0 0 25 0 10 0 779607683 854171648 22985 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 22985 13086 16 0 208522 0
vsize: 834152
[startup+330.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) S 18710 3944 3943 0 -1 0 18002 0 1 0 30707 56 0 0 25 0 10 0 779607683 854171648 23025 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23025 13086 16 0 208522 0
vsize: 834152
[startup+340.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 31642 57 0 0 25 0 10 0 779607683 854171648 23066 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23066 13086 16 0 208522 0
vsize: 834152
[startup+350.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 32578 57 0 0 25 0 10 0 779607683 854171648 23105 4294967295 134512640 134569956 3221224368 3221214720 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23105 13086 16 0 208522 0
vsize: 834152
[startup+360.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 33510 57 0 0 25 0 10 0 779607683 854171648 23146 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23146 13086 16 0 208522 0
vsize: 834152
[startup+370.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 34445 57 0 0 25 0 10 0 779607683 854171648 23184 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23184 13086 16 0 208522 0
vsize: 834152
[startup+380.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 35375 57 0 0 25 0 10 0 779607683 854171648 23223 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23223 13086 16 0 208522 0
vsize: 834152
[startup+390.031 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 36310 58 0 0 25 0 10 0 779607683 854171648 23260 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23260 13086 16 0 208522 0
vsize: 834152
[startup+400.033 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) S 18710 3944 3943 0 -1 0 18002 0 1 0 37243 58 0 0 25 0 10 0 779607683 854171648 23296 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23296 13086 16 0 208522 0
vsize: 834152
[startup+410.035 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 38173 58 0 0 25 0 10 0 779607683 854171648 23333 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23333 13086 16 0 208522 0
vsize: 834152
[startup+420.035 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 39106 58 0 0 25 0 10 0 779607683 854171648 23368 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23368 13086 16 0 208522 0
vsize: 834152
[startup+430.036 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 40035 58 0 0 24 0 10 0 779607683 854171648 23405 4294967295 134512640 134569956 3221224368 3221214112 1076874504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23405 13086 16 0 208522 0
vsize: 834152
[startup+440.037 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 40967 58 0 0 25 0 10 0 779607683 854171648 23439 4294967295 134512640 134569956 3221224368 3221214176 1076461015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23439 13086 16 0 208522 0
vsize: 834152
[startup+450.037 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 41899 58 0 0 25 0 10 0 779607683 854171648 23473 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23473 13086 16 0 208522 0
vsize: 834152
[startup+460.043 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) S 18710 3944 3943 0 -1 0 18002 0 1 0 42829 58 0 0 25 0 10 0 779607683 854171648 23507 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23507 13086 16 0 208522 0
vsize: 834152
[startup+470.043 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 43758 59 0 0 25 0 10 0 779607683 854171648 23542 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23542 13086 16 0 208522 0
vsize: 834152
[startup+480.043 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 44688 59 0 0 25 0 10 0 779607683 854171648 23574 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23574 13086 16 0 208522 0
vsize: 834152
[startup+490.043 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 45619 59 0 0 25 0 10 0 779607683 854171648 23607 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23607 13086 16 0 208522 0
vsize: 834152
[startup+500.045 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 46544 59 0 0 25 0 10 0 779607683 854171648 23641 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23641 13086 16 0 208522 0
vsize: 834152
[startup+510.045 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 47474 60 0 0 25 0 10 0 779607683 854171648 23673 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23673 13086 16 0 208522 0
vsize: 834152
[startup+520.046 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 48403 60 0 0 25 0 10 0 779607683 854171648 23704 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23704 13086 16 0 208522 0
vsize: 834152
[startup+530.046 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 49332 60 0 0 25 0 10 0 779607683 854171648 23735 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23735 13086 16 0 208522 0
vsize: 834152
[startup+540.049 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 50256 61 0 0 24 0 10 0 779607683 854171648 23768 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23768 13086 16 0 208522 0
vsize: 834152
[startup+550.049 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 51184 61 0 0 25 0 10 0 779607683 854171648 23798 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23798 13086 16 0 208522 0
vsize: 834152
[startup+560.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 52111 61 0 0 25 0 10 0 779607683 854171648 23829 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23829 13086 16 0 208522 0
vsize: 834152
[startup+570.051 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 53038 61 0 0 25 0 10 0 779607683 854171648 23858 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23858 13086 16 0 208522 0
vsize: 834152
[startup+580.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 53965 61 0 0 25 0 10 0 779607683 854171648 23888 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23888 13086 16 0 208522 0
vsize: 834152
[startup+590.054 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) S 18710 3944 3943 0 -1 0 18002 0 1 0 54889 61 0 0 25 0 10 0 779607683 854171648 23918 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23918 13086 16 0 208522 0
vsize: 834152
[startup+600.056 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 55812 62 0 0 20 0 10 0 779607683 854171648 23948 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23948 13086 16 0 208522 0
vsize: 834152
[startup+610.057 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 56738 62 0 0 25 0 10 0 779607683 854171648 23977 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 23977 13086 16 0 208522 0
vsize: 834152
[startup+620.057 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 57663 62 0 0 25 0 10 0 779607683 854171648 24005 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 24005 13086 16 0 208522 0
vsize: 834152
[startup+630.057 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 58588 62 0 0 25 0 10 0 779607683 854171648 24034 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 24034 13086 16 0 208522 0
vsize: 834152
[startup+640.057 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 59513 62 0 0 25 0 10 0 779607683 854171648 24062 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 24062 13086 16 0 208522 0
vsize: 834152
[startup+650.057 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 60436 63 0 0 25 0 10 0 779607683 854171648 24090 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 24090 13086 16 0 208522 0
vsize: 834152
[startup+660.058 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 61360 63 0 0 25 0 10 0 779607683 854171648 24117 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 24117 13086 16 0 208522 0
vsize: 834152
[startup+670.058 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 62277 63 0 0 25 0 10 0 779607683 854171648 25068 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25068 13086 16 0 208522 0
vsize: 834152
[startup+680.059 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 63201 63 0 0 25 0 10 0 779607683 854171648 25068 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25068 13086 16 0 208522 0
vsize: 834152
[startup+690.059 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 64115 64 0 0 25 0 10 0 779607683 854171648 25083 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25083 13086 16 0 208522 0
vsize: 834152
[startup+700.06 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 65029 64 0 0 25 0 10 0 779607683 854171648 25110 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25110 13086 16 0 208522 0
vsize: 834152
[startup+710.06 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 65941 64 0 0 25 0 10 0 779607683 854171648 25137 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25137 13086 16 0 208522 0
vsize: 834152
[startup+720.061 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 66852 64 0 0 25 0 10 0 779607683 854171648 25163 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25163 13086 16 0 208522 0
vsize: 834152
[startup+730.061 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 67765 65 0 0 25 0 10 0 779607683 854171648 25189 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25189 13086 16 0 208522 0
vsize: 834152
[startup+740.062 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 68678 65 0 0 25 0 10 0 779607683 854171648 25215 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208538 25215 13086 16 0 208522 0
vsize: 834152
[startup+750.063 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 69591 65 0 0 25 0 10 0 779607683 854171648 25241 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208538 25241 13086 16 0 208522 0
vsize: 834152
[startup+760.063 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 70502 66 0 0 24 0 10 0 779607683 854171648 25267 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208538 25267 13086 16 0 208522 0
vsize: 834152
[startup+770.063 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) S 18710 3944 3943 0 -1 0 18002 0 1 0 71414 66 0 0 25 0 10 0 779607683 854171648 25292 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208538 25292 13086 16 0 208522 0
vsize: 834152
[startup+780.064 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 72329 66 0 0 25 0 10 0 779607683 854171648 25316 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208538 25316 13086 16 0 208522 0
vsize: 834152
[startup+790.064 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 73240 66 0 0 25 0 10 0 779607683 854171648 25342 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208538 25342 13086 16 0 208522 0
vsize: 834152
[startup+800.065 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 74150 67 0 0 25 0 10 0 779607683 854171648 25367 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25367 13086 16 0 208522 0
vsize: 834152
[startup+810.066 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 75060 67 0 0 22 0 10 0 779607683 854171648 25392 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25392 13086 16 0 208522 0
vsize: 834152
[startup+820.066 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 75969 67 0 0 25 0 10 0 779607683 854171648 25416 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25416 13086 16 0 208522 0
vsize: 834152
[startup+830.066 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 76878 68 0 0 24 0 10 0 779607683 854171648 25441 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25441 13086 16 0 208522 0
vsize: 834152
[startup+840.066 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 77792 68 0 0 25 0 10 0 779607683 854171648 25464 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25464 13086 16 0 208522 0
vsize: 834152
[startup+850.066 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 78701 68 0 0 25 0 10 0 779607683 854171648 25488 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25488 13086 16 0 208522 0
vsize: 834152
[startup+860.068 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 79609 68 0 0 25 0 10 0 779607683 854171648 25512 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25512 13086 16 0 208522 0
vsize: 834152
[startup+870.069 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 80515 68 0 0 24 0 10 0 779607683 854171648 25536 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25536 13086 16 0 208522 0
vsize: 834152
[startup+880.073 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) S 18710 3944 3943 0 -1 0 18002 0 1 0 81427 68 0 0 25 0 10 0 779607683 854171648 25560 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25560 13086 16 0 208522 0
vsize: 834152
[startup+890.075 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 82338 68 0 0 23 0 10 0 779607683 854171648 25583 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25583 13086 16 0 208522 0
vsize: 834152
[startup+900.075 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 83246 68 0 0 21 0 10 0 779607683 854171648 25607 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25607 13086 16 0 208522 0
vsize: 834152
[startup+910.076 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 84154 68 0 0 19 0 10 0 779607683 854171648 25631 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25631 13086 16 0 208522 0
vsize: 834152
[startup+920.078 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) S 18710 3944 3943 0 -1 0 18002 0 1 0 85063 68 0 0 24 0 10 0 779607683 854171648 25653 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25653 13086 16 0 208522 0
vsize: 834152
[startup+930.078 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 85974 69 0 0 23 0 10 0 779607683 854171648 25678 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25678 13086 16 0 208522 0
vsize: 834152
[startup+940.079 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 86880 69 0 0 22 0 10 0 779607683 854171648 25701 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25701 13086 16 0 208522 0
vsize: 834152
[startup+950.08 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 87785 69 0 0 19 0 10 0 779607683 854171648 25733 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25733 13086 16 0 208522 0
vsize: 834152
[startup+960.08 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 88695 70 0 0 24 0 10 0 779607683 854171648 25757 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25757 13086 16 0 208522 0
vsize: 834152
[startup+970.084 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 89599 70 0 0 22 0 10 0 779607683 854171648 25783 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25783 13086 16 0 208522 0
vsize: 834152
[startup+980.085 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 90504 70 0 0 20 0 10 0 779607683 854171648 25810 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25810 13086 16 0 208522 0
vsize: 834152
[startup+990.085 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 91409 70 0 0 19 0 10 0 779607683 854171648 25837 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25837 13086 16 0 208522 0
vsize: 834152
[startup+1000.09 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 92319 71 0 0 23 0 10 0 779607683 854171648 25860 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25860 13086 16 0 208522 0
vsize: 834152
[startup+1010.09 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 93224 71 0 0 21 0 10 0 779607683 854171648 25884 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25884 13086 16 0 208522 0
vsize: 834152
[startup+1020.09 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 94127 71 0 0 19 0 10 0 779607683 854171648 25906 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25906 13086 16 0 208522 0
vsize: 834152
[startup+1030.09 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 95036 71 0 0 23 0 10 0 779607683 854171648 25937 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25937 13086 16 0 208522 0
vsize: 834152
[startup+1040.09 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 95940 71 0 0 21 0 10 0 779607683 854171648 25960 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25960 13086 16 0 208522 0
vsize: 834152
[startup+1050.09 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 96843 71 0 0 19 0 10 0 779607683 854171648 25982 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 25982 13086 16 0 208522 0
vsize: 834152
[startup+1060.09 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 97752 71 0 0 23 0 10 0 779607683 854171648 26003 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26003 13086 16 0 208522 0
vsize: 834152
[startup+1070.09 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 98655 71 0 0 21 0 10 0 779607683 854171648 26034 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26034 13086 16 0 208522 0
vsize: 834152
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 99558 71 0 0 19 0 10 0 779607683 854171648 26056 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26056 13086 16 0 208522 0
vsize: 834152
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 100467 71 0 0 22 0 10 0 779607683 854171648 26084 4294967295 134512640 134569956 3221224368 3221214720 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26084 13086 16 0 208522 0
vsize: 834152
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 101368 72 0 0 20 0 10 0 779607683 854171648 26110 4294967295 134512640 134569956 3221224368 3221214756 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26110 13086 16 0 208522 0
vsize: 834152
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) S 18710 3944 3943 0 -1 0 18002 0 1 0 102270 72 0 0 24 0 10 0 779607683 854171648 26132 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26132 13086 16 0 208522 0
vsize: 834152
[startup+1120.1 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 103176 72 0 0 22 0 10 0 779607683 854171648 26160 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26160 13086 16 0 208522 0
vsize: 834152
[startup+1130.1 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 104077 72 0 0 20 0 10 0 779607683 854171648 26181 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26181 13086 16 0 208522 0
vsize: 834152
[startup+1140.1 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 104984 72 0 0 24 0 10 0 779607683 854171648 26200 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26200 13086 16 0 208522 0
vsize: 834152
[startup+1150.1 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 105883 72 0 0 20 0 10 0 779607683 854171648 26230 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26230 13086 16 0 208522 0
vsize: 834152
[startup+1160.1 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 106783 72 0 0 19 0 10 0 779607683 854171648 26256 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26256 13086 16 0 208522 0
vsize: 834152
[startup+1170.1 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 107688 73 0 0 21 0 10 0 779607683 854171648 26276 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26276 13086 16 0 208522 0
vsize: 834152
[startup+1180.1 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 108587 73 0 0 19 0 10 0 779607683 854171648 26297 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26297 13086 16 0 208522 0
vsize: 834152
[startup+1190.1 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 109492 73 0 0 22 0 10 0 779607683 854171648 26324 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26324 13086 16 0 208522 0
vsize: 834152
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 110392 73 0 0 19 0 10 0 779607683 854171648 26348 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26348 13086 16 0 208522 0
vsize: 834152
[startup+1210.1 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 111297 73 0 0 23 0 10 0 779607683 854171648 26367 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26367 13086 16 0 208522 0
vsize: 834152
[startup+1220.1 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 112195 74 0 0 20 0 10 0 779607683 854171648 26395 4294967295 134512640 134569956 3221224368 3221214224 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26395 13086 16 0 208522 0
vsize: 834152
[startup+1230.11 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) S 18710 3944 3943 0 -1 0 18002 0 1 0 113098 74 0 0 23 0 10 0 779607683 854171648 26414 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26414 13086 16 0 208522 0
vsize: 834152
[startup+1240.11 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 113998 74 0 0 21 0 10 0 779607683 854171648 26434 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26434 13086 16 0 208522 0
vsize: 834152
[startup+1250.11 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 114895 74 0 0 18 0 10 0 779607683 854171648 26464 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26464 13086 16 0 208522 0
vsize: 834152
[startup+1260.11 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 115798 75 0 0 22 0 10 0 779607683 854171648 26490 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26490 13086 16 0 208522 0
vsize: 834152
[startup+1270.11 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 116696 75 0 0 18 0 10 0 779607683 854171648 26515 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26515 13086 16 0 208522 0
vsize: 834152
[startup+1280.11 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 117601 75 0 0 22 0 10 0 779607683 854171648 26527 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26527 13086 16 0 208522 0
vsize: 834152
[startup+1290.11 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 118497 75 0 0 18 0 10 0 779607683 854171648 26547 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26547 13086 16 0 208522 0
vsize: 834152
[startup+1300.11 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 119403 75 0 0 22 0 10 0 779607683 854171648 26583 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26583 13086 16 0 208522 0
vsize: 834152
[startup+1310.11 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 18720
Raw data (stat): 18711 (java) R 18710 3944 3943 0 -1 0 18002 0 1 0 120305 75 0 0 21 0 10 0 779607683 854171648 26611 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208538 26611 13086 16 0 208522 0
vsize: 834152
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.22 s]
Raw data (loadavg): 0.99 0.99 0.99 1/54 18722
Raw data (stat): 18711 (java) Z 18710 3944 3943 0 -1 1036 18002 9269 1 0 120310 80 10799 48 22 0 1 0 779607683 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.22
CPU time (s): 1312.39
CPU user time (s): 1311.1
CPU system time (s): 1.2878
CPU usage (%): 100.166
Max. virtual memory (Kb): 834888
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####