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/miplib/normalized-mps-v2-20-10-misc04.opb
MD5SUM	7b42190d864979953c47e5a92736f365
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	43188899594881916928
Number of bits of the biggest number in a constraint	66
Biggest sum of numbers in a constraint	133861748414790074368
Number of bits of the biggest sum of numbers	67
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	4.12137
Number of variables	146276
Total number of constraints	1755
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	45
Number of constraints which are nor clauses,nor cardinality constraints	1710
Minimum length of a constraint	1
Maximum length of a constraint	5071
Trace number 29536

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-25 08:43:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20934 boxname=wulflinc25 idbench=922 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  7b42190d864979953c47e5a92736f365  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-misc04.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-misc04.opb
IDLAUNCH: 20934
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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	: 3
cpu MHz		: 451.220
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        427304 kB
Buffers:         28660 kB
Cached:         554260 kB
SwapCached:        588 kB
Active:          89672 kB
Inactive:       495544 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        427052 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            16500 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 09:05:12 (client local time) WITH STATUS 143 IN 1314.04 SECONDS
stats: 20934 7 1314.04 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/wulflinc25/normalized-mps-v2-20-10-misc04.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1309.119
#### 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 12114
Raw data (stat): 12114 (runsolver) R 12113 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837544163 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.0084 s]
Raw data (loadavg): 0.94 0.98 0.99 3/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 836 42 0 0 25 0 10 0 837544163 855732224 19748 4294967295 134512640 134569956 3221224368 3221213840 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 19748 13086 16 0 208903 0
vsize: 835676
[startup+20.0086 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 1737 42 0 0 25 0 10 0 837544163 855265280 20148 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208805 20148 13086 16 0 208789 0
vsize: 835220
[startup+30.0087 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 2635 42 0 0 25 0 10 0 837544163 855265280 20634 4294967295 134512640 134569956 3221224368 3221214468 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 20634 13086 16 0 208789 0
vsize: 835220
[startup+40.0094 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 3556 43 0 0 25 0 10 0 837544163 855265280 20880 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 20880 13086 16 0 208789 0
vsize: 835220
[startup+50.0104 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 4480 43 0 0 25 0 10 0 837544163 855265280 21043 4294967295 134512640 134569956 3221224368 3221214472 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208805 21043 13086 16 0 208789 0
vsize: 835220
[startup+60.0106 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 5411 43 0 0 25 0 10 0 837544163 855265280 21163 4294967295 134512640 134569956 3221224368 3221214424 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 21163 13086 16 0 208789 0
vsize: 835220
[startup+70.0113 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 6342 44 0 0 25 0 10 0 837544163 855265280 21385 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 21385 13086 16 0 208789 0
vsize: 835220
[startup+80.0114 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 7283 44 0 0 25 0 10 0 837544163 855265280 21490 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 21490 13086 16 0 208789 0
vsize: 835220
[startup+90.0142 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) S 12113 1586 1585 0 -1 0 18025 0 1 0 8223 45 0 0 25 0 10 0 837544163 855265280 21617 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 21617 13086 16 0 208789 0
vsize: 835220
[startup+100.015 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 9166 45 0 0 25 0 10 0 837544163 855265280 21698 4294967295 134512640 134569956 3221224368 3221214748 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 21698 13086 16 0 208789 0
vsize: 835220
[startup+110.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 10109 45 0 0 25 0 10 0 837544163 855265280 21782 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208805 21782 13086 16 0 208789 0
vsize: 835220
[startup+120.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 11050 46 0 0 25 0 10 0 837544163 855265280 21856 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 21856 13086 16 0 208789 0
vsize: 835220
[startup+130.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 11996 46 0 0 25 0 10 0 837544163 855265280 21924 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 21924 13086 16 0 208789 0
vsize: 835220
[startup+140.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 12938 46 0 0 25 0 10 0 837544163 855265280 21992 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 21992 13086 16 0 208789 0
vsize: 835220
[startup+150.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 13880 46 0 0 24 0 10 0 837544163 855265280 22056 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 22056 13086 16 0 208789 0
vsize: 835220
[startup+160.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 14826 47 0 0 25 0 10 0 837544163 855265280 22124 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 22124 13086 16 0 208789 0
vsize: 835220
[startup+170.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 15768 47 0 0 25 0 10 0 837544163 855265280 22183 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 22183 13086 16 0 208789 0
vsize: 835220
[startup+180.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 16700 47 0 0 25 0 10 0 837544163 855265280 22237 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 22237 13086 16 0 208789 0
vsize: 835220
[startup+190.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 17628 48 0 0 25 0 10 0 837544163 855265280 22289 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 22289 13086 16 0 208789 0
vsize: 835220
[startup+200.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 18563 48 0 0 25 0 10 0 837544163 855265280 22504 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 22504 13086 16 0 208789 0
vsize: 835220
[startup+210.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 19505 49 0 0 25 0 10 0 837544163 855265280 22554 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 22554 13086 16 0 208789 0
vsize: 835220
[startup+220.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 20443 49 0 0 25 0 10 0 837544163 855265280 22606 4294967295 134512640 134569956 3221224368 3221214468 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 22606 13086 16 0 208789 0
vsize: 835220
[startup+230.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 21385 49 0 0 25 0 10 0 837544163 855265280 22654 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 22654 13086 16 0 208789 0
vsize: 835220
[startup+240.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 22322 50 0 0 25 0 10 0 837544163 855265280 22703 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 22703 13086 16 0 208789 0
vsize: 835220
[startup+250.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 23263 50 0 0 25 0 10 0 837544163 855265280 22748 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 22748 13086 16 0 208789 0
vsize: 835220
[startup+260.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 24201 51 0 0 25 0 10 0 837544163 855265280 22796 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 22796 13086 16 0 208789 0
vsize: 835220
[startup+270.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 25141 51 0 0 25 0 10 0 837544163 855265280 22840 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 22840 13086 16 0 208789 0
vsize: 835220
[startup+280.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 26077 52 0 0 24 0 10 0 837544163 855265280 22887 4294967295 134512640 134569956 3221224368 3221214120 1079276790 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 22887 13086 16 0 208789 0
vsize: 835220
[startup+290.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 27016 52 0 0 25 0 10 0 837544163 855265280 22930 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 22930 13086 16 0 208789 0
vsize: 835220
[startup+300.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 27955 52 0 0 24 0 10 0 837544163 855265280 22966 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 22966 13086 16 0 208789 0
vsize: 835220
[startup+310.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 28890 53 0 0 25 0 10 0 837544163 855265280 23010 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23010 13086 16 0 208789 0
vsize: 835220
[startup+320.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 29827 53 0 0 25 0 10 0 837544163 855265280 23052 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23052 13086 16 0 208789 0
vsize: 835220
[startup+330.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 30761 54 0 0 24 0 10 0 837544163 855265280 23095 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23095 13086 16 0 208789 0
vsize: 835220
[startup+340.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 31697 54 0 0 25 0 10 0 837544163 855265280 23128 4294967295 134512640 134569956 3221224368 3221214424 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23128 13086 16 0 208789 0
vsize: 835220
[startup+350.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 32634 55 0 0 25 0 10 0 837544163 855265280 23167 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23167 13086 16 0 208789 0
vsize: 835220
[startup+360.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 33566 55 0 0 25 0 10 0 837544163 855265280 23209 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23209 13086 16 0 208789 0
vsize: 835220
[startup+370.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 34502 55 0 0 25 0 10 0 837544163 855265280 23248 4294967295 134512640 134569956 3221224368 3221214472 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23248 13086 16 0 208789 0
vsize: 835220
[startup+380.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 35437 56 0 0 25 0 10 0 837544163 855265280 23278 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23278 13086 16 0 208789 0
vsize: 835220
[startup+390.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 36368 56 0 0 25 0 10 0 837544163 855265280 23318 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23318 13086 16 0 208789 0
vsize: 835220
[startup+400.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 37302 57 0 0 25 0 10 0 837544163 855265280 23355 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23355 13086 16 0 208789 0
vsize: 835220
[startup+410.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 38236 57 0 0 25 0 10 0 837544163 855265280 23385 4294967295 134512640 134569956 3221224368 3221214748 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23385 13086 16 0 208789 0
vsize: 835220
[startup+420.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 39166 57 0 0 25 0 10 0 837544163 855265280 23423 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23423 13086 16 0 208789 0
vsize: 835220
[startup+430.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 40099 58 0 0 25 0 10 0 837544163 855265280 23460 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23460 13086 16 0 208789 0
vsize: 835220
[startup+440.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 41032 58 0 0 25 0 10 0 837544163 855265280 23488 4294967295 134512640 134569956 3221224368 3221214472 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23488 13086 16 0 208789 0
vsize: 835220
[startup+450.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 41961 58 0 0 24 0 10 0 837544163 855265280 23525 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23525 13086 16 0 208789 0
vsize: 835220
[startup+460.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 42893 59 0 0 25 0 10 0 837544163 855265280 23560 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23560 13086 16 0 208789 0
vsize: 835220
[startup+470.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 43825 59 0 0 25 0 10 0 837544163 855265280 23587 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23587 13086 16 0 208789 0
vsize: 835220
[startup+480.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 44757 59 0 0 25 0 10 0 837544163 855265280 23621 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23621 13086 16 0 208789 0
vsize: 835220
[startup+490.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 45683 60 0 0 24 0 10 0 837544163 855265280 23657 4294967295 134512640 134569956 3221224368 3221214748 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23657 13086 16 0 208789 0
vsize: 835220
[startup+500.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 46614 60 0 0 25 0 10 0 837544163 855265280 23683 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23683 13086 16 0 208789 0
vsize: 835220
[startup+510.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 47543 61 0 0 25 0 10 0 837544163 855265280 23718 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23718 13086 16 0 208789 0
vsize: 835220
[startup+520.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 48473 61 0 0 25 0 10 0 837544163 855265280 23743 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23743 13086 16 0 208789 0
vsize: 835220
[startup+530.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 49397 62 0 0 25 0 10 0 837544163 855265280 23779 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23779 13086 16 0 208789 0
vsize: 835220
[startup+540.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 50327 62 0 0 25 0 10 0 837544163 855265280 23805 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23805 13086 16 0 208789 0
vsize: 835220
[startup+550.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 51255 62 0 0 25 0 10 0 837544163 855265280 23840 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23840 13086 16 0 208789 0
vsize: 835220
[startup+560.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 52182 62 0 0 25 0 10 0 837544163 855265280 23864 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23864 13086 16 0 208789 0
vsize: 835220
[startup+570.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) S 12113 1586 1585 0 -1 0 18025 0 1 0 53110 63 0 0 25 0 10 0 837544163 855265280 23899 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23899 13086 16 0 208789 0
vsize: 835220
[startup+580.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 54033 63 0 0 24 0 10 0 837544163 855265280 23925 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23925 13086 16 0 208789 0
vsize: 835220
[startup+590.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 54960 64 0 0 25 0 10 0 837544163 855265280 23959 4294967295 134512640 134569956 3221224368 3221214424 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23959 13086 16 0 208789 0
vsize: 835220
[startup+600.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 55887 64 0 0 25 0 10 0 837544163 855265280 23984 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 23984 13086 16 0 208789 0
vsize: 835220
[startup+610.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 56813 65 0 0 25 0 10 0 837544163 855265280 24018 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 24018 13086 16 0 208789 0
vsize: 835220
[startup+620.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 57739 65 0 0 25 0 10 0 837544163 855265280 24041 4294967295 134512640 134569956 3221224368 3221214668 1130894842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 24041 13086 16 0 208789 0
vsize: 835220
[startup+630.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 58660 65 0 0 24 0 10 0 837544163 855265280 24076 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 24076 13086 16 0 208789 0
vsize: 835220
[startup+640.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 59585 66 0 0 24 0 10 0 837544163 855265280 24099 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 24099 13086 16 0 208789 0
vsize: 835220
[startup+650.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 60510 66 0 0 25 0 10 0 837544163 855265280 24133 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 24133 13086 16 0 208789 0
vsize: 835220
[startup+660.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 61435 67 0 0 25 0 10 0 837544163 855265280 24156 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 24156 13086 16 0 208789 0
vsize: 835220
[startup+670.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 62352 67 0 0 25 0 10 0 837544163 855265280 24557 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 24557 13086 16 0 208789 0
vsize: 835220
[startup+680.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 63264 67 0 0 25 0 10 0 837544163 855265280 24828 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 24828 13086 16 0 208789 0
vsize: 835220
[startup+690.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) S 12113 1586 1585 0 -1 0 18025 0 1 0 64169 67 0 0 25 0 10 0 837544163 855265280 24927 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 24927 13086 16 0 208789 0
vsize: 835220
[startup+700.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) S 12113 1586 1585 0 -1 0 18025 0 1 0 65088 68 0 0 25 0 10 0 837544163 855265280 24960 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 24960 13086 16 0 208789 0
vsize: 835220
[startup+710.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 66003 68 0 0 25 0 10 0 837544163 855265280 24982 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 24982 13086 16 0 208789 0
vsize: 835220
[startup+720.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 66917 68 0 0 25 0 10 0 837544163 855265280 25016 4294967295 134512640 134569956 3221224368 3221214468 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25016 13086 16 0 208789 0
vsize: 835220
[startup+730.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 67831 69 0 0 25 0 10 0 837544163 855265280 25037 4294967295 134512640 134569956 3221224368 3221214424 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25037 13086 16 0 208789 0
vsize: 835220
[startup+740.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 68743 69 0 0 25 0 10 0 837544163 855265280 25071 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25071 13086 16 0 208789 0
vsize: 835220
[startup+750.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 69655 70 0 0 25 0 10 0 837544163 855265280 25092 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25092 13086 16 0 208789 0
vsize: 835220
[startup+760.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 70566 70 0 0 25 0 10 0 837544163 855265280 25123 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25123 13086 16 0 208789 0
vsize: 835220
[startup+770.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 71478 71 0 0 25 0 10 0 837544163 855265280 25146 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25146 13086 16 0 208789 0
vsize: 835220
[startup+780.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 72390 71 0 0 25 0 10 0 837544163 855265280 25167 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25167 13086 16 0 208789 0
vsize: 835220
[startup+790.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 73298 71 0 0 24 0 10 0 837544163 855265280 25200 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25200 13086 16 0 208789 0
vsize: 835220
[startup+800.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 74210 71 0 0 24 0 10 0 837544163 855265280 25220 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25220 13086 16 0 208789 0
vsize: 835220
[startup+810.058 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) S 12113 1586 1585 0 -1 0 18025 0 1 0 75124 72 0 0 25 0 10 0 837544163 855265280 25251 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25251 13086 16 0 208789 0
vsize: 835220
[startup+820.058 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 76037 72 0 0 23 0 10 0 837544163 855265280 25272 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25272 13086 16 0 208789 0
vsize: 835220
[startup+830.059 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 76946 73 0 0 25 0 10 0 837544163 855265280 25292 4294967295 134512640 134569956 3221224368 3221214472 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25292 13086 16 0 208789 0
vsize: 835220
[startup+840.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 77856 73 0 0 25 0 10 0 837544163 855265280 25326 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25326 13086 16 0 208789 0
vsize: 835220
[startup+850.061 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 78766 74 0 0 25 0 10 0 837544163 855265280 25350 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25350 13086 16 0 208789 0
vsize: 835220
[startup+860.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 79676 74 0 0 25 0 10 0 837544163 855265280 25354 4294967295 134512640 134569956 3221224368 3221214472 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25354 13086 16 0 208789 0
vsize: 835220
[startup+870.061 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 80586 74 0 0 25 0 10 0 837544163 855265280 25378 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25378 13086 16 0 208789 0
vsize: 835220
[startup+880.062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 81495 75 0 0 24 0 10 0 837544163 855265280 25401 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25401 13086 16 0 208789 0
vsize: 835220
[startup+890.061 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) S 12113 1586 1585 0 -1 0 18025 0 1 0 82408 75 0 0 25 0 10 0 837544163 855265280 25423 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25423 13086 16 0 208789 0
vsize: 835220
[startup+900.062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 83318 75 0 0 25 0 10 0 837544163 855265280 25450 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25450 13086 16 0 208789 0
vsize: 835220
[startup+910.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 84225 75 0 0 25 0 10 0 837544163 855265280 25473 4294967295 134512640 134569956 3221224368 3221214468 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25473 13086 16 0 208789 0
vsize: 835220
[startup+920.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 85133 76 0 0 25 0 10 0 837544163 855265280 25495 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25495 13086 16 0 208789 0
vsize: 835220
[startup+930.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 86040 76 0 0 25 0 10 0 837544163 855265280 25518 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25518 13086 16 0 208789 0
vsize: 835220
[startup+940.062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) S 12113 1586 1585 0 -1 0 18025 0 1 0 86946 77 0 0 25 0 10 0 837544163 855265280 25540 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25540 13086 16 0 208789 0
vsize: 835220
[startup+950.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 87858 77 0 0 25 0 10 0 837544163 855265280 25564 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25564 13086 16 0 208789 0
vsize: 835220
[startup+960.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 88765 77 0 0 25 0 10 0 837544163 855265280 25594 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25594 13086 16 0 208789 0
vsize: 835220
[startup+970.064 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 89671 78 0 0 25 0 10 0 837544163 855265280 25619 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25619 13086 16 0 208789 0
vsize: 835220
[startup+980.065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 90576 78 0 0 24 0 10 0 837544163 855265280 25643 4294967295 134512640 134569956 3221224368 3221214748 1080204144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25643 13086 16 0 208789 0
vsize: 835220
[startup+990.065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 91487 79 0 0 25 0 10 0 837544163 855265280 25665 4294967295 134512640 134569956 3221224368 3221214468 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25665 13086 16 0 208789 0
vsize: 835220
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12123
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 92391 79 0 0 25 0 10 0 837544163 855265280 25689 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25689 13086 16 0 208789 0
vsize: 835220
[startup+1010.07 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 12176
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 93292 82 0 0 25 0 10 0 837544163 855265280 25712 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25712 13086 16 0 208789 0
vsize: 835220
[startup+1020.07 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 12176
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 94201 82 0 0 25 0 10 0 837544163 855265280 25735 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25735 13086 16 0 208789 0
vsize: 835220
[startup+1030.07 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 12176
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 95103 83 0 0 25 0 10 0 837544163 855265280 25759 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25759 13086 16 0 208789 0
vsize: 835220
[startup+1040.07 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 12176
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 96006 83 0 0 25 0 10 0 837544163 855265280 25783 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208805 25783 13086 16 0 208789 0
vsize: 835220
[startup+1050.07 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 12176
Raw data (stat): 12114 (java) S 12113 1586 1585 0 -1 0 18025 0 1 0 96911 84 0 0 25 0 10 0 837544163 855265280 25806 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25806 13086 16 0 208789 0
vsize: 835220
[startup+1060.07 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 12176
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 97818 84 0 0 25 0 10 0 837544163 855265280 25829 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25829 13086 16 0 208789 0
vsize: 835220
[startup+1070.07 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 98720 84 0 0 25 0 10 0 837544163 855265280 25860 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208805 25860 13086 16 0 208789 0
vsize: 835220
[startup+1080.07 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 99620 84 0 0 24 0 10 0 837544163 855265280 25883 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25883 13086 16 0 208789 0
vsize: 835220
[startup+1090.07 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 100528 85 0 0 25 0 10 0 837544163 855265280 25904 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25904 13086 16 0 208789 0
vsize: 835220
[startup+1100.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 101431 85 0 0 25 0 10 0 837544163 855265280 25921 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25921 13086 16 0 208789 0
vsize: 835220
[startup+1110.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 102333 85 0 0 24 0 10 0 837544163 855265280 25943 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25943 13086 16 0 208789 0
vsize: 835220
[startup+1120.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 103241 85 0 0 25 0 10 0 837544163 855265280 25964 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25964 13086 16 0 208789 0
vsize: 835220
[startup+1130.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 104142 86 0 0 25 0 10 0 837544163 855265280 25985 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 25985 13086 16 0 208789 0
vsize: 835220
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 105044 86 0 0 24 0 10 0 837544163 855265280 26007 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 26007 13086 16 0 208789 0
vsize: 835220
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 105951 87 0 0 25 0 10 0 837544163 855265280 26027 4294967295 134512640 134569956 3221224368 3221214664 1130917299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 26027 13086 16 0 208789 0
vsize: 835220
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 106852 87 0 0 25 0 10 0 837544163 855265280 26049 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 26049 13086 16 0 208789 0
vsize: 835220
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 107753 87 0 0 25 0 10 0 837544163 855265280 26070 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 26070 13086 16 0 208789 0
vsize: 835220
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 108659 88 0 0 25 0 10 0 837544163 855265280 26090 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 26090 13086 16 0 208789 0
vsize: 835220
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 109559 88 0 0 25 0 10 0 837544163 855265280 26111 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 26111 13086 16 0 208789 0
vsize: 835220
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 110458 88 0 0 24 0 10 0 837544163 855265280 26133 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 26133 13086 16 0 208789 0
vsize: 835220
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 111362 88 0 0 25 0 10 0 837544163 855265280 26153 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 26153 13086 16 0 208789 0
vsize: 835220
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 112260 89 0 0 25 0 10 0 837544163 855265280 26174 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208805 26174 13086 16 0 208789 0
vsize: 835220
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) S 12113 1586 1585 0 -1 0 18025 0 1 0 113160 89 0 0 25 0 10 0 837544163 855265280 26194 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 26194 13086 16 0 208789 0
vsize: 835220
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 114064 89 0 0 25 0 10 0 837544163 855265280 26215 4294967295 134512640 134569956 3221224368 3221214472 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 26215 13086 16 0 208789 0
vsize: 835220
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 114964 90 0 0 25 0 10 0 837544163 855265280 26236 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 26236 13086 16 0 208789 0
vsize: 835220
[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 115869 90 0 0 25 0 10 0 837544163 855265280 26251 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 26251 13086 16 0 208789 0
vsize: 835220
[startup+1270.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 116768 90 0 0 25 0 10 0 837544163 855265280 26277 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 26277 13086 16 0 208789 0
vsize: 835220
[startup+1280.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 117665 91 0 0 24 0 10 0 837544163 855265280 26292 4294967295 134512640 134569956 3221224368 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 26292 13086 16 0 208789 0
vsize: 835220
[startup+1290.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 118569 91 0 0 25 0 10 0 837544163 855265280 26312 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 26312 13086 16 0 208789 0
vsize: 835220
[startup+1300.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 119468 91 0 0 25 0 10 0 837544163 855265280 26353 4294967295 134512640 134569956 3221224368 3221214472 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 26353 13086 16 0 208789 0
vsize: 835220
[startup+1310.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12178
Raw data (stat): 12114 (java) R 12113 1586 1585 0 -1 0 18025 0 1 0 120371 91 0 0 25 0 10 0 837544163 855265280 26388 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 26388 13086 16 0 208789 0
vsize: 835220
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 12180
Raw data (stat): 12114 (java) Z 12113 1586 1585 0 -1 1036 18025 10194 1 0 120373 96 10888 45 25 0 1 0 837544163 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.15
CPU time (s): 1314.04
CPU user time (s): 1312.62
CPU system time (s): 1.41978
CPU usage (%): 100.297
Max. virtual memory (Kb): 835676
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####