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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-wood1p.opb
MD5SUM	a2815b77f36d91ef7299d509f20c9b2a
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	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	53687091200000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	66413144120266883072
Number of bits of the biggest sum of numbers	66
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	11.4273
Number of variables	77820
Total number of constraints	244
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	244
Minimum length of a constraint	30
Maximum length of a constraint	77760
Trace number 29507

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-25 08:23:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20904 boxname=wulflinc6 idbench=892 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  a2815b77f36d91ef7299d509f20c9b2a  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-wood1p.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-wood1p.opb
IDLAUNCH: 20904
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        703908 kB
Buffers:         26700 kB
Cached:         278276 kB
SwapCached:        412 kB
Active:         118916 kB
Inactive:       188420 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        703656 kB
SwapTotal:     2097136 kB
SwapFree:      2096036 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            17668 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 08:46:01 (client local time) WITH STATUS 143 IN 1329.48 SECONDS
stats: 20904 7 1329.48 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/wulflinc6/normalized-mps-v2-20-10-wood1p.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) : 1329.109
#### 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): 1.10 1.02 1.01 2/54 5533
Raw data (stat): 5533 (runsolver) R 5532 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779190385 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 1.23 1.05 1.02 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18021 0 1 0 870 39 0 0 25 0 10 0 779190385 854048768 19338 4294967295 134512640 134569956 3221224368 3221214648 1131191323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 19338 13086 16 0 208492 0
vsize: 834032
[startup+20.0006 s]
Raw data (loadavg): 1.34 1.08 1.02 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18022 0 1 0 1768 40 0 0 25 0 10 0 779190385 855576576 20203 4294967295 134512640 134569956 3221224368 3221214648 1131191437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208881 20203 13086 16 0 208865 0
vsize: 835524
[startup+30.0003 s]
Raw data (loadavg): 1.29 1.08 1.02 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18022 0 1 0 2658 41 0 0 20 0 10 0 779190385 855576576 20708 4294967295 134512640 134569956 3221224368 3221214532 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208881 20708 13086 16 0 208865 0
vsize: 835524
[startup+40.0025 s]
Raw data (loadavg): 1.24 1.07 1.02 4/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18048 0 1 0 3550 41 0 0 25 0 10 0 779190385 855105536 20970 4294967295 134512640 134569956 3221224368 3221213436 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208766 20970 13086 16 0 208750 0
vsize: 835064
[startup+50.0651 s]
Raw data (loadavg): 1.21 1.07 1.02 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18048 0 1 0 4427 42 0 0 17 0 10 0 779190385 855072768 21905 4294967295 134512640 134569956 3221224368 3221214768 1131253693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208758 21905 13086 16 0 208742 0
vsize: 835032
[startup+60.0648 s]
Raw data (loadavg): 1.17 1.07 1.02 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18048 0 1 0 5301 42 0 0 17 0 10 0 779190385 855072768 22033 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208758 22033 13086 16 0 208742 0
vsize: 835032
[startup+70.0654 s]
Raw data (loadavg): 1.15 1.06 1.02 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18048 0 1 0 6177 43 0 0 19 0 10 0 779190385 855072768 23231 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208758 23231 13086 16 0 208742 0
vsize: 835032
[startup+80.0655 s]
Raw data (loadavg): 1.12 1.06 1.02 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 7074 43 0 0 17 0 10 0 779190385 855072768 23232 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208758 23232 13086 16 0 208742 0
vsize: 835032
[startup+90.0652 s]
Raw data (loadavg): 1.10 1.06 1.02 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 7958 43 0 0 25 0 10 0 779190385 855072768 23948 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208758 23948 13086 16 0 208742 0
vsize: 835032
[startup+100.064 s]
Raw data (loadavg): 1.09 1.06 1.02 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 8829 45 0 0 25 0 10 0 779190385 855072768 25885 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 25885 13086 16 0 208742 0
vsize: 835032
[startup+110.065 s]
Raw data (loadavg): 1.07 1.05 1.02 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 9722 45 0 0 22 0 10 0 779190385 855072768 26662 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 26662 13086 16 0 208742 0
vsize: 835032
[startup+120.065 s]
Raw data (loadavg): 1.06 1.05 1.02 2/63 5542
Raw data (stat): 5533 (java) S 5532 25568 25567 0 -1 0 18049 0 1 0 10618 46 0 0 23 0 10 0 779190385 855072768 26662 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 26662 13086 16 0 208742 0
vsize: 835032
[startup+130.065 s]
Raw data (loadavg): 1.05 1.05 1.01 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 11494 46 0 0 20 0 10 0 779190385 855072768 27668 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 27668 13086 16 0 208742 0
vsize: 835032
[startup+140.065 s]
Raw data (loadavg): 1.04 1.05 1.01 2/63 5542
Raw data (stat): 5533 (java) S 5532 25568 25567 0 -1 0 18049 0 1 0 12390 47 0 0 23 0 10 0 779190385 855199744 27703 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 27703 13086 16 0 208773 0
vsize: 835156
[startup+150.065 s]
Raw data (loadavg): 1.04 1.05 1.01 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 13279 48 0 0 18 0 10 0 779190385 855199744 28118 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 28118 13086 16 0 208773 0
vsize: 835156
[startup+160.065 s]
Raw data (loadavg): 1.03 1.04 1.01 2/63 5542
Raw data (stat): 5533 (java) S 5532 25568 25567 0 -1 0 18049 0 1 0 14159 49 0 0 21 0 10 0 779190385 855199744 29203 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 29203 13086 16 0 208773 0
vsize: 835156
[startup+170.066 s]
Raw data (loadavg): 1.02 1.04 1.01 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 15036 50 0 0 18 0 10 0 779190385 855199744 30521 4294967295 134512640 134569956 3221224368 3221214136 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 30521 13086 16 0 208773 0
vsize: 835156
[startup+180.065 s]
Raw data (loadavg): 1.02 1.04 1.01 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 15939 50 0 0 20 0 10 0 779190385 855199744 30521 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 30521 13086 16 0 208773 0
vsize: 835156
[startup+190.065 s]
Raw data (loadavg): 1.02 1.04 1.01 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 16832 51 0 0 25 0 10 0 779190385 855199744 30918 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 30918 13086 16 0 208773 0
vsize: 835156
[startup+200.065 s]
Raw data (loadavg): 1.01 1.04 1.01 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 17721 52 0 0 22 0 10 0 779190385 855199744 32123 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 32123 13086 16 0 208773 0
vsize: 835156
[startup+210.066 s]
Raw data (loadavg): 1.01 1.04 1.01 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 18669 52 0 0 25 0 10 0 779190385 855199744 32123 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 32123 13086 16 0 208773 0
vsize: 835156
[startup+220.065 s]
Raw data (loadavg): 1.01 1.03 1.01 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 19598 53 0 0 25 0 10 0 779190385 855199744 32186 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 32186 13086 16 0 208773 0
vsize: 835156
[startup+230.064 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 20494 54 0 0 25 0 10 0 779190385 855199744 32302 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 32302 13086 16 0 208773 0
vsize: 835156
[startup+240.065 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 21372 55 0 0 25 0 10 0 779190385 855199744 33244 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 33244 13086 16 0 208773 0
vsize: 835156
[startup+250.066 s]
Raw data (loadavg): 1.00 1.03 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 22250 55 0 0 25 0 10 0 779190385 855199744 33715 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 33715 13086 16 0 208773 0
vsize: 835156
[startup+260.066 s]
Raw data (loadavg): 1.00 1.03 1.00 2/63 5542
Raw data (stat): 5533 (java) S 5532 25568 25567 0 -1 0 18049 0 1 0 23133 56 0 0 25 0 10 0 779190385 855199744 34204 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 34204 13086 16 0 208773 0
vsize: 835156
[startup+270.066 s]
Raw data (loadavg): 1.00 1.03 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 24068 56 0 0 24 0 10 0 779190385 855199744 34253 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 34253 13086 16 0 208773 0
vsize: 835156
[startup+280.066 s]
Raw data (loadavg): 1.00 1.03 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 25005 57 0 0 25 0 10 0 779190385 855199744 34302 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 34302 13086 16 0 208773 0
vsize: 835156
[startup+290.065 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 25942 58 0 0 22 0 10 0 779190385 855199744 34348 4294967295 134512640 134569956 3221224368 3221214232 1080019442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 34348 13086 16 0 208773 0
vsize: 835156
[startup+300.065 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 26880 58 0 0 25 0 10 0 779190385 855199744 34393 4294967295 134512640 134569956 3221224368 3221214136 1076874558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 34393 13086 16 0 208773 0
vsize: 835156
[startup+310.065 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 27817 59 0 0 24 0 10 0 779190385 855199744 34437 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 34437 13086 16 0 208773 0
vsize: 835156
[startup+320.066 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 28753 59 0 0 25 0 10 0 779190385 855199744 34481 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 34481 13086 16 0 208773 0
vsize: 835156
[startup+330.066 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 29689 59 0 0 25 0 10 0 779190385 855199744 34524 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 34524 13086 16 0 208773 0
vsize: 835156
[startup+340.066 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 30624 60 0 0 25 0 10 0 779190385 855199744 34566 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 34566 13086 16 0 208773 0
vsize: 835156
[startup+350.066 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 31559 60 0 0 25 0 10 0 779190385 855199744 34607 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 34607 13086 16 0 208773 0
vsize: 835156
[startup+360.067 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 32494 61 0 0 25 0 10 0 779190385 855199744 34648 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 34648 13086 16 0 208773 0
vsize: 835156
[startup+370.067 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 33429 61 0 0 25 0 10 0 779190385 855199744 34688 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 34688 13086 16 0 208773 0
vsize: 835156
[startup+380.067 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 34363 62 0 0 25 0 10 0 779190385 855199744 34727 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 34727 13086 16 0 208773 0
vsize: 835156
[startup+390.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 35296 62 0 0 25 0 10 0 779190385 855199744 34766 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 34766 13086 16 0 208773 0
vsize: 835156
[startup+400.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5542
Raw data (stat): 5533 (java) S 5532 25568 25567 0 -1 0 18049 0 1 0 36220 62 0 0 25 0 10 0 779190385 855199744 34838 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 34838 13086 16 0 208773 0
vsize: 835156
[startup+410.066 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 37116 63 0 0 25 0 10 0 779190385 855199744 35314 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 35314 13086 16 0 208773 0
vsize: 835156
[startup+420.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 38039 63 0 0 25 0 10 0 779190385 855199744 35734 4294967295 134512640 134569956 3221224368 3221214232 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 35734 13086 16 0 208773 0
vsize: 835156
[startup+430.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 38969 64 0 0 25 0 10 0 779190385 855199744 35760 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 35760 13086 16 0 208773 0
vsize: 835156
[startup+440.066 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 39898 64 0 0 25 0 10 0 779190385 855199744 35801 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 35801 13086 16 0 208773 0
vsize: 835156
[startup+450.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5542
Raw data (stat): 5533 (java) S 5532 25568 25567 0 -1 0 18049 0 1 0 40811 65 0 0 25 0 10 0 779190385 855199744 36316 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 36316 13086 16 0 208773 0
vsize: 835156
[startup+460.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 41739 65 0 0 25 0 10 0 779190385 855199744 36775 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 36775 13086 16 0 208773 0
vsize: 835156
[startup+470.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 42671 66 0 0 25 0 10 0 779190385 855199744 36775 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 36775 13086 16 0 208773 0
vsize: 835156
[startup+480.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5542
Raw data (stat): 5533 (java) S 5532 25568 25567 0 -1 0 18049 0 1 0 43602 66 0 0 25 0 10 0 779190385 855199744 36804 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 36804 13086 16 0 208773 0
vsize: 835156
[startup+490.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 44518 67 0 0 25 0 10 0 779190385 855199744 36835 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 36835 13086 16 0 208773 0
vsize: 835156
[startup+500.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 45434 68 0 0 25 0 10 0 779190385 855199744 37892 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 37892 13086 16 0 208773 0
vsize: 835156
[startup+510.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 46358 69 0 0 25 0 10 0 779190385 855199744 38391 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 38391 13086 16 0 208773 0
vsize: 835156
[startup+520.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 47266 69 0 0 25 0 10 0 779190385 855199744 39265 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 39265 13086 16 0 208773 0
vsize: 835156
[startup+530.07 s]
Raw data (loadavg): 1.00 1.00 1.00 3/63 5542
Raw data (stat): 5533 (java) S 5532 25568 25567 0 -1 0 18049 0 1 0 48192 70 0 0 25 0 10 0 779190385 855199744 39686 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 39686 13086 16 0 208773 0
vsize: 835156
[startup+540.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 49123 70 0 0 25 0 10 0 779190385 855199744 39686 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 39686 13086 16 0 208773 0
vsize: 835156
[startup+550.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 50045 71 0 0 25 0 10 0 779190385 855199744 39715 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 39715 13086 16 0 208773 0
vsize: 835156
[startup+560.071 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 50957 71 0 0 25 0 10 0 779190385 855199744 40336 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 40336 13086 16 0 208773 0
vsize: 835156
[startup+570.071 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 51882 72 0 0 24 0 10 0 779190385 855199744 40754 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208789 40754 13086 16 0 208773 0
vsize: 835156
[startup+580.071 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 52815 72 0 0 25 0 10 0 779190385 855072768 40725 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 40725 13086 16 0 208742 0
vsize: 835032
[startup+590.071 s]
Raw data (loadavg): 1.13 1.03 1.01 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 53733 73 0 0 25 0 10 0 779190385 855072768 40747 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 40747 13086 16 0 208742 0
vsize: 835032
[startup+600.071 s]
Raw data (loadavg): 1.11 1.03 1.01 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 54641 73 0 0 21 0 10 0 779190385 855072768 40798 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 40798 13086 16 0 208742 0
vsize: 835032
[startup+610.072 s]
Raw data (loadavg): 1.09 1.03 1.01 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 55556 74 0 0 25 0 10 0 779190385 855072768 41915 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 41915 13086 16 0 208742 0
vsize: 835032
[startup+620.071 s]
Raw data (loadavg): 1.08 1.03 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 56476 76 0 0 25 0 10 0 779190385 855072768 42464 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 42464 13086 16 0 208742 0
vsize: 835032
[startup+630.072 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 57396 76 0 0 25 0 10 0 779190385 855072768 43484 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 43484 13086 16 0 208742 0
vsize: 835032
[startup+640.071 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 58323 77 0 0 25 0 10 0 779190385 855072768 43909 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 43909 13086 16 0 208742 0
vsize: 835032
[startup+650.072 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 59248 77 0 0 18 0 10 0 779190385 855072768 43909 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 43909 13086 16 0 208742 0
vsize: 835032
[startup+660.072 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 60172 78 0 0 25 0 10 0 779190385 855072768 43935 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 43935 13086 16 0 208742 0
vsize: 835032
[startup+670.073 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 61076 79 0 0 24 0 10 0 779190385 855072768 43969 4294967295 134512640 134569956 3221224368 3221214232 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 43969 13086 16 0 208742 0
vsize: 835032
[startup+680.073 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 61987 80 0 0 25 0 10 0 779190385 855072768 44803 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 44803 13086 16 0 208742 0
vsize: 835032
[startup+690.074 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 62892 80 0 0 25 0 10 0 779190385 855072768 44803 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 44803 13086 16 0 208742 0
vsize: 835032
[startup+700.074 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 63791 80 0 0 22 0 10 0 779190385 855072768 45002 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 45002 13086 16 0 208742 0
vsize: 835032
[startup+710.075 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 64707 81 0 0 23 0 10 0 779190385 855072768 45035 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208758 45035 13086 16 0 208742 0
vsize: 835032
[startup+720.075 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 65603 81 0 0 17 0 10 0 779190385 855072768 45080 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208758 45080 13086 16 0 208742 0
vsize: 835032
[startup+730.075 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 66511 82 0 0 20 0 10 0 779190385 855072768 46510 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208758 46510 13086 16 0 208742 0
vsize: 835032
[startup+740.076 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 67427 82 0 0 20 0 10 0 779190385 855072768 47039 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208758 47039 13086 16 0 208742 0
vsize: 835032
[startup+750.078 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 68344 82 0 0 17 0 10 0 779190385 855072768 47557 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208758 47557 13086 16 0 208742 0
vsize: 835032
[startup+760.078 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 69262 83 0 0 20 0 10 0 779190385 855072768 47557 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208758 47557 13086 16 0 208742 0
vsize: 835032
[startup+770.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5542
Raw data (stat): 5533 (java) S 5532 25568 25567 0 -1 0 18049 0 1 0 70175 83 0 0 21 0 10 0 779190385 855072768 47586 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208758 47586 13086 16 0 208742 0
vsize: 835032
[startup+780.081 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 71084 83 0 0 17 0 10 0 779190385 855072768 47613 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208758 47613 13086 16 0 208742 0
vsize: 835032
[startup+790.081 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 71998 83 0 0 20 0 10 0 779190385 855072768 47638 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208758 47638 13086 16 0 208742 0
vsize: 835032
[startup+800.084 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5542
Raw data (stat): 5533 (java) S 5532 25568 25567 0 -1 0 18049 0 1 0 72908 83 0 0 22 0 10 0 779190385 855072768 47664 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208758 47664 13086 16 0 208742 0
vsize: 835032
[startup+810.086 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 73816 84 0 0 17 0 10 0 779190385 855072768 47690 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208758 47690 13086 16 0 208742 0
vsize: 835032
[startup+820.086 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 74729 84 0 0 19 0 10 0 779190385 855072768 47714 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208758 47714 13086 16 0 208742 0
vsize: 835032
[startup+830.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5542
Raw data (stat): 5533 (java) S 5532 25568 25567 0 -1 0 18049 0 1 0 75638 84 0 0 23 0 10 0 779190385 855072768 47739 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 47739 13086 16 0 208742 0
vsize: 835032
[startup+840.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 76546 84 0 0 19 0 10 0 779190385 855072768 47765 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 47765 13086 16 0 208742 0
vsize: 835032
[startup+850.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 77456 85 0 0 23 0 10 0 779190385 855072768 47789 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 47789 13086 16 0 208742 0
vsize: 835032
[startup+860.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 78361 85 0 0 19 0 10 0 779190385 855072768 47814 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 47814 13086 16 0 208742 0
vsize: 835032
[startup+870.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 79271 85 0 0 20 0 10 0 779190385 855072768 47838 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 47838 13086 16 0 208742 0
vsize: 835032
[startup+880.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 80180 86 0 0 23 0 10 0 779190385 855072768 47862 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 47862 13086 16 0 208742 0
vsize: 835032
[startup+890.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) S 5532 25568 25567 0 -1 0 18049 0 1 0 81085 87 0 0 24 0 10 0 779190385 855072768 47886 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 47886 13086 16 0 208742 0
vsize: 835032
[startup+900.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 81993 87 0 0 19 0 10 0 779190385 855072768 47910 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 47910 13086 16 0 208742 0
vsize: 835032
[startup+910.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 82903 88 0 0 22 0 10 0 779190385 855072768 47934 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 47934 13086 16 0 208742 0
vsize: 835032
[startup+920.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 83812 88 0 0 24 0 10 0 779190385 855072768 47957 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 47957 13086 16 0 208742 0
vsize: 835032
[startup+930.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 84716 89 0 0 20 0 10 0 779190385 855072768 47982 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 47982 13086 16 0 208742 0
vsize: 835032
[startup+940.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 85624 89 0 0 22 0 10 0 779190385 855072768 48005 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 48005 13086 16 0 208742 0
vsize: 835032
[startup+950.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 86533 90 0 0 24 0 10 0 779190385 855072768 48027 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 48027 13086 16 0 208742 0
vsize: 835032
[startup+960.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 87436 90 0 0 19 0 10 0 779190385 855072768 48052 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 48052 13086 16 0 208742 0
vsize: 835032
[startup+970.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 88344 90 0 0 21 0 10 0 779190385 855072768 48074 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 48074 13086 16 0 208742 0
vsize: 835032
[startup+980.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 89253 91 0 0 23 0 10 0 779190385 855072768 48098 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 48098 13086 16 0 208742 0
vsize: 835032
[startup+990.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) S 5532 25568 25567 0 -1 0 18049 0 1 0 90157 91 0 0 23 0 10 0 779190385 855072768 48120 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 48120 13086 16 0 208742 0
vsize: 835032
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 91052 92 0 0 19 0 10 0 779190385 855072768 48889 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 48889 13086 16 0 208742 0
vsize: 835032
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) S 5532 25568 25567 0 -1 0 18049 0 1 0 91962 92 0 0 25 0 10 0 779190385 855072768 49455 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 49455 13086 16 0 208742 0
vsize: 835032
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 92874 92 0 0 20 0 10 0 779190385 855072768 49455 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 49455 13086 16 0 208742 0
vsize: 835032
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 93778 94 0 0 21 0 10 0 779190385 855072768 49463 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 49463 13086 16 0 208742 0
vsize: 835032
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 94679 94 0 0 22 0 10 0 779190385 855072768 49492 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 49492 13086 16 0 208742 0
vsize: 835032
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 95576 95 0 0 19 0 10 0 779190385 855072768 49578 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 49578 13086 16 0 208742 0
vsize: 835032
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 96482 95 0 0 23 0 10 0 779190385 855072768 50402 4294967295 134512640 134569956 3221224368 3221214272 1131310733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 50402 13086 16 0 208742 0
vsize: 835032
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 97387 96 0 0 22 0 10 0 779190385 855072768 50907 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 50907 13086 16 0 208742 0
vsize: 835032
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 98295 96 0 0 23 0 10 0 779190385 855072768 50907 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 50907 13086 16 0 208742 0
vsize: 835032
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 99195 97 0 0 21 0 10 0 779190385 855072768 50929 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 50929 13086 16 0 208742 0
vsize: 835032
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 100085 98 0 0 18 0 10 0 779190385 855072768 51051 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 51051 13086 16 0 208742 0
vsize: 835032
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 100986 98 0 0 23 0 10 0 779190385 855072768 51878 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 51878 13086 16 0 208742 0
vsize: 835032
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 101883 100 0 0 24 0 10 0 779190385 855072768 53324 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 53324 13086 16 0 208742 0
vsize: 835032
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 102780 101 0 0 17 0 10 0 779190385 855072768 53943 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 53943 13086 16 0 208742 0
vsize: 835032
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 103682 101 0 0 23 0 10 0 779190385 855072768 55213 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 55213 13086 16 0 208742 0
vsize: 835032
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 104592 102 0 0 22 0 10 0 779190385 855072768 55213 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 55213 13086 16 0 208742 0
vsize: 835032
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) S 5532 25568 25567 0 -1 0 18049 0 1 0 105488 103 0 0 23 0 10 0 779190385 855072768 55219 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 55219 13086 16 0 208742 0
vsize: 835032
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 106384 104 0 0 19 0 10 0 779190385 855072768 55508 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 55508 13086 16 0 208742 0
vsize: 835032
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 107289 105 0 0 25 0 10 0 779190385 855072768 56209 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 56209 13086 16 0 208742 0
vsize: 835032
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 108189 105 0 0 25 0 10 0 779190385 855072768 56742 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 56742 13086 16 0 208742 0
vsize: 835032
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 109093 106 0 0 25 0 10 0 779190385 855072768 56742 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 56742 13086 16 0 208742 0
vsize: 835032
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 109986 106 0 0 17 0 10 0 779190385 855072768 56761 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 56761 13086 16 0 208742 0
vsize: 835032
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 3/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 110883 106 0 0 22 0 10 0 779190385 855072768 57019 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208758 57019 13086 16 0 208742 0
vsize: 835032
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 111774 107 0 0 25 0 10 0 779190385 855072768 58529 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 58529 13086 16 0 208742 0
vsize: 835032
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 112678 107 0 0 25 0 10 0 779190385 855072768 59259 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 59259 13086 16 0 208742 0
vsize: 835032
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 113565 108 0 0 25 0 10 0 779190385 855072768 60573 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 60573 13086 16 0 208742 0
vsize: 835032
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 114461 109 0 0 25 0 10 0 779190385 855072768 61138 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 61138 13086 16 0 208742 0
vsize: 835032
[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 115366 109 0 0 25 0 10 0 779190385 855072768 61138 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 61138 13086 16 0 208742 0
vsize: 835032
[startup+1280.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 116262 109 0 0 25 0 10 0 779190385 855072768 61147 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 61147 13086 16 0 208742 0
vsize: 835032
[startup+1290.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 117165 110 0 0 25 0 10 0 779190385 855072768 61197 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 61197 13086 16 0 208742 0
vsize: 835032
[startup+1300.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 118058 111 0 0 25 0 10 0 779190385 855072768 62141 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 62141 13086 16 0 208742 0
vsize: 835032
[startup+1310.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 118959 112 0 0 25 0 10 0 779190385 855072768 62647 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 62647 13086 16 0 208742 0
vsize: 835032
[startup+1320.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 119860 112 0 0 25 0 10 0 779190385 855072768 62647 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 62647 13086 16 0 208742 0
vsize: 835032
[startup+1330.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5542
Raw data (stat): 5533 (java) R 5532 25568 25567 0 -1 0 18049 0 1 0 120757 112 0 0 25 0 10 0 779190385 855072768 62711 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208758 62711 13086 16 0 208742 0
vsize: 835032
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1330.27 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 5544
Raw data (stat): 5533 (java) Z 5532 25568 25567 0 -1 1036 18049 44051 1 0 120762 112 11958 114 25 0 1 0 779190385 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): 1330.27
CPU time (s): 1329.48
CPU user time (s): 1327.21
CPU system time (s): 2.26866
CPU usage (%): 99.9405
Max. virtual memory (Kb): 835524
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####