PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3700.opb
MD5SUM	bc3b48d8361bf44c5b17a3bc4d19364a
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29631666774144
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29631666774144
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.42678
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 29686

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        769000 kB
Buffers:         27780 kB
Cached:         215092 kB
SwapCached:         92 kB
Active:          58296 kB
Inactive:       187228 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        768748 kB
SwapTotal:     2097136 kB
SwapFree:      2096752 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6392 kB
Slab:            14352 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:50:25 (client local time) WITH STATUS 143 IN 1312.73 SECONDS
stats: 21090 7 1312.73 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/wulflinc10/normalized-mps-v2-20-10-n3700.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.314
#### 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 29778
Raw data (stat): 29778 (runsolver) R 29777 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779952982 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+9.99969 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18002 0 1 0 875 36 0 0 25 0 10 0 779952982 853786624 19322 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 19322 13086 16 0 208428 0
vsize: 833776
[startup+20.0002 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 1771 37 0 0 25 0 10 0 779952982 855359488 20177 4294967295 134512640 134569956 3221224368 3221214688 1131194305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 20177 13086 16 0 208812 0
vsize: 835312
[startup+29.9998 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 2661 37 0 0 25 0 10 0 779952982 855359488 20673 4294967295 134512640 134569956 3221224368 3221214776 1130893403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 20673 13086 16 0 208812 0
vsize: 835312
[startup+40.0003 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 3576 38 0 0 25 0 10 0 779952982 853950464 20670 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208484 20670 13086 16 0 208468 0
vsize: 833936
[startup+50.0008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) S 29777 15547 15546 0 -1 0 18003 0 1 0 4494 39 0 0 25 0 10 0 779952982 853950464 20836 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208484 20836 13086 16 0 208468 0
vsize: 833936
[startup+60.0004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 5413 39 0 0 25 0 10 0 779952982 853950464 20963 4294967295 134512640 134569956 3221224368 3221214768 1131248053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208484 20963 13086 16 0 208468 0
vsize: 833936
[startup+70.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 6340 40 0 0 25 0 10 0 779952982 853786624 21168 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 21168 13086 16 0 208428 0
vsize: 833776
[startup+80.0016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 7281 40 0 0 25 0 10 0 779952982 853786624 21263 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 21263 13086 16 0 208428 0
vsize: 833776
[startup+90.0021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 8220 41 0 0 25 0 10 0 779952982 853786624 21356 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 21356 13086 16 0 208428 0
vsize: 833776
[startup+100.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 9160 41 0 0 25 0 10 0 779952982 853786624 21442 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 21442 13086 16 0 208428 0
vsize: 833776
[startup+110.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) S 29777 15547 15546 0 -1 0 18003 0 1 0 10103 42 0 0 25 0 10 0 779952982 853786624 21518 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 21518 13086 16 0 208428 0
vsize: 833776
[startup+120.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 11046 42 0 0 25 0 10 0 779952982 853786624 21593 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 21593 13086 16 0 208428 0
vsize: 833776
[startup+130.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 11987 43 0 0 25 0 10 0 779952982 853786624 21665 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 21665 13086 16 0 208428 0
vsize: 833776
[startup+140.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 12939 43 0 0 25 0 10 0 779952982 853786624 21733 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 21733 13086 16 0 208428 0
vsize: 833776
[startup+150.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) S 29777 15547 15546 0 -1 0 18003 0 1 0 13881 44 0 0 25 0 10 0 779952982 853786624 21796 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 21796 13086 16 0 208428 0
vsize: 833776
[startup+160.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 14826 44 0 0 25 0 10 0 779952982 853786624 21857 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 21857 13086 16 0 208428 0
vsize: 833776
[startup+170.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 15760 45 0 0 25 0 10 0 779952982 853786624 21918 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 21918 13086 16 0 208428 0
vsize: 833776
[startup+180.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 16677 45 0 0 25 0 10 0 779952982 853786624 21972 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 21972 13086 16 0 208428 0
vsize: 833776
[startup+190.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 17599 46 0 0 25 0 10 0 779952982 853786624 22283 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 22283 13086 16 0 208428 0
vsize: 833776
[startup+200.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 18537 47 0 0 25 0 10 0 779952982 853786624 22337 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 22337 13086 16 0 208428 0
vsize: 833776
[startup+210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 19475 47 0 0 24 0 10 0 779952982 853786624 22391 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 22391 13086 16 0 208428 0
vsize: 833776
[startup+220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 20416 47 0 0 25 0 10 0 779952982 853786624 22439 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 22439 13086 16 0 208428 0
vsize: 833776
[startup+230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 21354 48 0 0 25 0 10 0 779952982 853786624 22490 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 22490 13086 16 0 208428 0
vsize: 833776
[startup+240.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 22294 49 0 0 25 0 10 0 779952982 853786624 22536 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 22536 13086 16 0 208428 0
vsize: 833776
[startup+250.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 23230 49 0 0 25 0 10 0 779952982 853786624 22586 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 22586 13086 16 0 208428 0
vsize: 833776
[startup+260.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) S 29777 15547 15546 0 -1 0 18003 0 1 0 24168 50 0 0 25 0 10 0 779952982 853786624 22631 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 22631 13086 16 0 208428 0
vsize: 833776
[startup+270.116 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 25105 51 0 0 25 0 10 0 779952982 853786624 22676 4294967295 134512640 134569956 3221224368 3221214176 1076460984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 22676 13086 16 0 208428 0
vsize: 833776
[startup+280.219 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 26050 52 0 0 25 0 10 0 779952982 853786624 22722 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 22722 13086 16 0 208428 0
vsize: 833776
[startup+290.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 26987 52 0 0 25 0 10 0 779952982 853786624 22765 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 22765 13086 16 0 208428 0
vsize: 833776
[startup+300.225 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 27922 53 0 0 25 0 10 0 779952982 853786624 22809 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 22809 13086 16 0 208428 0
vsize: 833776
[startup+310.232 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 28860 53 0 0 25 0 10 0 779952982 853786624 22850 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 22850 13086 16 0 208428 0
vsize: 833776
[startup+320.231 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 29793 53 0 0 24 0 10 0 779952982 853786624 22893 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 22893 13086 16 0 208428 0
vsize: 833776
[startup+330.232 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 30730 54 0 0 25 0 10 0 779952982 853786624 22932 4294967295 134512640 134569956 3221224368 3221214112 1076874339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 22932 13086 16 0 208428 0
vsize: 833776
[startup+340.233 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 31662 54 0 0 25 0 10 0 779952982 853786624 22973 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 22973 13086 16 0 208428 0
vsize: 833776
[startup+350.233 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 32597 55 0 0 25 0 10 0 779952982 853786624 23012 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23012 13086 16 0 208428 0
vsize: 833776
[startup+360.232 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) S 29777 15547 15546 0 -1 0 18003 0 1 0 33529 55 0 0 25 0 10 0 779952982 853786624 23050 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23050 13086 16 0 208428 0
vsize: 833776
[startup+370.232 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 34463 55 0 0 25 0 10 0 779952982 853786624 23090 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23090 13086 16 0 208428 0
vsize: 833776
[startup+380.232 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 35397 55 0 0 25 0 10 0 779952982 853786624 23126 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23126 13086 16 0 208428 0
vsize: 833776
[startup+390.233 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 36327 56 0 0 24 0 10 0 779952982 853786624 23165 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23165 13086 16 0 208428 0
vsize: 833776
[startup+400.233 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 37261 56 0 0 25 0 10 0 779952982 853786624 23200 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23200 13086 16 0 208428 0
vsize: 833776
[startup+410.233 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 38193 57 0 0 25 0 10 0 779952982 853786624 23236 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23236 13086 16 0 208428 0
vsize: 833776
[startup+420.234 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 39122 57 0 0 25 0 10 0 779952982 853786624 23272 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23272 13086 16 0 208428 0
vsize: 833776
[startup+430.234 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 40054 58 0 0 25 0 10 0 779952982 853786624 23307 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23307 13086 16 0 208428 0
vsize: 833776
[startup+440.234 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) S 29777 15547 15546 0 -1 0 18003 0 1 0 40985 59 0 0 25 0 10 0 779952982 853786624 23341 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23341 13086 16 0 208428 0
vsize: 833776
[startup+450.234 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 41914 59 0 0 25 0 10 0 779952982 853786624 23376 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23376 13086 16 0 208428 0
vsize: 833776
[startup+460.235 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 42845 59 0 0 25 0 10 0 779952982 853786624 23409 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23409 13086 16 0 208428 0
vsize: 833776
[startup+470.235 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 43776 60 0 0 25 0 10 0 779952982 853786624 23442 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23442 13086 16 0 208428 0
vsize: 833776
[startup+480.236 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 44702 60 0 0 24 0 10 0 779952982 853786624 23476 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23476 13086 16 0 208428 0
vsize: 833776
[startup+490.238 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 45631 61 0 0 25 0 10 0 779952982 853786624 23508 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23508 13086 16 0 208428 0
vsize: 833776
[startup+500.238 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 46561 61 0 0 25 0 10 0 779952982 853786624 23540 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23540 13086 16 0 208428 0
vsize: 833776
[startup+510.238 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) S 29777 15547 15546 0 -1 0 18003 0 1 0 47489 62 0 0 25 0 10 0 779952982 853786624 23571 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23571 13086 16 0 208428 0
vsize: 833776
[startup+520.238 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 48414 63 0 0 25 0 10 0 779952982 853786624 23605 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23605 13086 16 0 208428 0
vsize: 833776
[startup+530.238 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 49342 63 0 0 25 0 10 0 779952982 853786624 23636 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23636 13086 16 0 208428 0
vsize: 833776
[startup+540.238 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 50271 63 0 0 25 0 10 0 779952982 853786624 23666 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23666 13086 16 0 208428 0
vsize: 833776
[startup+550.239 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 51198 64 0 0 25 0 10 0 779952982 853786624 23696 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23696 13086 16 0 208428 0
vsize: 833776
[startup+560.239 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 52120 64 0 0 24 0 10 0 779952982 853786624 23728 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23728 13086 16 0 208428 0
vsize: 833776
[startup+570.239 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 53047 65 0 0 25 0 10 0 779952982 853786624 23757 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23757 13086 16 0 208428 0
vsize: 833776
[startup+580.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 53974 65 0 0 25 0 10 0 779952982 853786624 23787 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23787 13086 16 0 208428 0
vsize: 833776
[startup+590.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 54900 66 0 0 25 0 10 0 779952982 853786624 23816 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23816 13086 16 0 208428 0
vsize: 833776
[startup+600.241 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 55824 66 0 0 25 0 10 0 779952982 853786624 23844 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23844 13086 16 0 208428 0
vsize: 833776
[startup+610.241 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 56750 66 0 0 25 0 10 0 779952982 853786624 23873 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23873 13086 16 0 208428 0
vsize: 833776
[startup+620.242 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) S 29777 15547 15546 0 -1 0 18003 0 1 0 57671 67 0 0 25 0 10 0 779952982 853786624 23902 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23902 13086 16 0 208428 0
vsize: 833776
[startup+630.241 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 58595 67 0 0 25 0 10 0 779952982 853786624 23931 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23931 13086 16 0 208428 0
vsize: 833776
[startup+640.242 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 59519 68 0 0 25 0 10 0 779952982 853786624 23959 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23959 13086 16 0 208428 0
vsize: 833776
[startup+650.243 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 60443 68 0 0 25 0 10 0 779952982 853786624 23986 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 23986 13086 16 0 208428 0
vsize: 833776
[startup+660.243 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 61367 69 0 0 25 0 10 0 779952982 853786624 24014 4294967295 134512640 134569956 3221224368 3221214208 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 24014 13086 16 0 208428 0
vsize: 833776
[startup+670.244 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 62285 69 0 0 25 0 10 0 779952982 853786624 24942 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 24942 13086 16 0 208428 0
vsize: 833776
[startup+680.244 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 63206 70 0 0 25 0 10 0 779952982 853786624 24942 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 24942 13086 16 0 208428 0
vsize: 833776
[startup+690.245 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 64120 70 0 0 25 0 10 0 779952982 853786624 24964 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 24964 13086 16 0 208428 0
vsize: 833776
[startup+700.245 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 65033 70 0 0 25 0 10 0 779952982 853786624 24991 4294967295 134512640 134569956 3221224368 3221214208 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 24991 13086 16 0 208428 0
vsize: 833776
[startup+710.245 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 65945 70 0 0 25 0 10 0 779952982 853786624 25018 4294967295 134512640 134569956 3221224368 3221214128 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25018 13086 16 0 208428 0
vsize: 833776
[startup+720.246 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 66856 70 0 0 24 0 10 0 779952982 853786624 25044 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25044 13086 16 0 208428 0
vsize: 833776
[startup+730.247 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 67774 71 0 0 25 0 10 0 779952982 853786624 25068 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25068 13086 16 0 208428 0
vsize: 833776
[startup+740.248 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 68686 71 0 0 25 0 10 0 779952982 853786624 25094 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25094 13086 16 0 208428 0
vsize: 833776
[startup+750.248 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 69598 71 0 0 25 0 10 0 779952982 853786624 25120 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25120 13086 16 0 208428 0
vsize: 833776
[startup+760.248 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 70508 72 0 0 25 0 10 0 779952982 853786624 25145 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25145 13086 16 0 208428 0
vsize: 833776
[startup+770.249 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 71418 73 0 0 25 0 10 0 779952982 853786624 25171 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25171 13086 16 0 208428 0
vsize: 833776
[startup+780.249 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 72329 73 0 0 25 0 10 0 779952982 853786624 25196 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25196 13086 16 0 208428 0
vsize: 833776
[startup+790.251 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) S 29777 15547 15546 0 -1 0 18003 0 1 0 73243 74 0 0 25 0 10 0 779952982 853786624 25220 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25220 13086 16 0 208428 0
vsize: 833776
[startup+800.251 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 74154 74 0 0 25 0 10 0 779952982 853786624 25244 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25244 13086 16 0 208428 0
vsize: 833776
[startup+810.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 75064 75 0 0 25 0 10 0 779952982 853786624 25269 4294967295 134512640 134569956 3221224368 3221214720 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25269 13086 16 0 208428 0
vsize: 833776
[startup+820.251 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 75973 76 0 0 25 0 10 0 779952982 853786624 25293 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25293 13086 16 0 208428 0
vsize: 833776
[startup+830.251 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 76881 76 0 0 25 0 10 0 779952982 853786624 25318 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25318 13086 16 0 208428 0
vsize: 833776
[startup+840.251 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) S 29777 15547 15546 0 -1 0 18003 0 1 0 77792 77 0 0 25 0 10 0 779952982 853786624 25341 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25341 13086 16 0 208428 0
vsize: 833776
[startup+850.252 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 78703 77 0 0 25 0 10 0 779952982 853786624 25364 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25364 13086 16 0 208428 0
vsize: 833776
[startup+860.252 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 79610 78 0 0 25 0 10 0 779952982 853786624 25388 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25388 13086 16 0 208428 0
vsize: 833776
[startup+870.253 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 80518 78 0 0 25 0 10 0 779952982 853786624 25412 4294967295 134512640 134569956 3221224368 3221214208 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25412 13086 16 0 208428 0
vsize: 833776
[startup+880.253 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 81426 79 0 0 24 0 10 0 779952982 853786624 25436 4294967295 134512640 134569956 3221224368 3221214756 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25436 13086 16 0 208428 0
vsize: 833776
[startup+890.255 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 82338 79 0 0 25 0 10 0 779952982 853786624 25458 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25458 13086 16 0 208428 0
vsize: 833776
[startup+900.256 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 83244 80 0 0 25 0 10 0 779952982 853786624 25482 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25482 13086 16 0 208428 0
vsize: 833776
[startup+910.255 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 84152 81 0 0 25 0 10 0 779952982 853786624 25506 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25506 13086 16 0 208428 0
vsize: 833776
[startup+920.256 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) S 29777 15547 15546 0 -1 0 18003 0 1 0 85060 81 0 0 25 0 10 0 779952982 853786624 25532 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25532 13086 16 0 208428 0
vsize: 833776
[startup+930.256 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 85969 82 0 0 25 0 10 0 779952982 853786624 25558 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25558 13086 16 0 208428 0
vsize: 833776
[startup+940.257 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 86875 82 0 0 25 0 10 0 779952982 853786624 25581 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25581 13086 16 0 208428 0
vsize: 833776
[startup+950.258 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 87781 83 0 0 25 0 10 0 779952982 853786624 25612 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25612 13086 16 0 208428 0
vsize: 833776
[startup+960.258 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 88691 83 0 0 25 0 10 0 779952982 853786624 25637 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25637 13086 16 0 208428 0
vsize: 833776
[startup+970.259 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 89594 83 0 0 25 0 10 0 779952982 853786624 25663 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25663 13086 16 0 208428 0
vsize: 833776
[startup+980.259 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 90498 84 0 0 25 0 10 0 779952982 853786624 25689 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25689 13086 16 0 208428 0
vsize: 833776
[startup+990.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) S 29777 15547 15546 0 -1 0 18003 0 1 0 91408 84 0 0 25 0 10 0 779952982 853786624 25711 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25711 13086 16 0 208428 0
vsize: 833776
[startup+1000.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 92313 85 0 0 25 0 10 0 779952982 853786624 25739 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25739 13086 16 0 208428 0
vsize: 833776
[startup+1010.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 93216 85 0 0 25 0 10 0 779952982 853786624 25763 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25763 13086 16 0 208428 0
vsize: 833776
[startup+1020.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) S 29777 15547 15546 0 -1 0 18003 0 1 0 94123 86 0 0 25 0 10 0 779952982 853786624 25784 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25784 13086 16 0 208428 0
vsize: 833776
[startup+1030.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 95028 86 0 0 25 0 10 0 779952982 853786624 25816 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25816 13086 16 0 208428 0
vsize: 833776
[startup+1040.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 95931 87 0 0 25 0 10 0 779952982 853786624 25839 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25839 13086 16 0 208428 0
vsize: 833776
[startup+1050.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 96840 87 0 0 25 0 10 0 779952982 853786624 25859 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25859 13086 16 0 208428 0
vsize: 833776
[startup+1060.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 97742 87 0 0 25 0 10 0 779952982 853786624 25890 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25890 13086 16 0 208428 0
vsize: 833776
[startup+1070.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 98642 87 0 0 25 0 10 0 779952982 853786624 25915 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25915 13086 16 0 208428 0
vsize: 833776
[startup+1080.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 99548 87 0 0 23 0 10 0 779952982 853786624 25939 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25939 13086 16 0 208428 0
vsize: 833776
[startup+1090.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 100448 89 0 0 20 0 10 0 779952982 853786624 25960 4294967295 134512640 134569956 3221224368 3221214320 1079668415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25960 13086 16 0 208428 0
vsize: 833776
[startup+1100.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) S 29777 15547 15546 0 -1 0 18003 0 1 0 101354 89 0 0 24 0 10 0 779952982 853786624 25985 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 25985 13086 16 0 208428 0
vsize: 833776
[startup+1110.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 102256 89 0 0 21 0 10 0 779952982 853786624 26010 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 26010 13086 16 0 208428 0
vsize: 833776
[startup+1120.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 103157 89 0 0 19 0 10 0 779952982 853786624 26035 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 26035 13086 16 0 208428 0
vsize: 833776
[startup+1130.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 104064 90 0 0 23 0 10 0 779952982 853786624 26057 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 26057 13086 16 0 208428 0
vsize: 833776
[startup+1140.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 104963 90 0 0 20 0 10 0 779952982 853786624 26084 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 26084 13086 16 0 208428 0
vsize: 833776
[startup+1150.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 105869 91 0 0 23 0 10 0 779952982 853786624 26103 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 26103 13086 16 0 208428 0
vsize: 833776
[startup+1160.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 106768 91 0 0 20 0 10 0 779952982 853786624 26131 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 26131 13086 16 0 208428 0
vsize: 833776
[startup+1170.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) S 29777 15547 15546 0 -1 0 18003 0 1 0 107668 92 0 0 23 0 10 0 779952982 853786624 26154 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 26154 13086 16 0 208428 0
vsize: 833776
[startup+1180.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 108573 92 0 0 21 0 10 0 779952982 853786624 26175 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 26175 13086 16 0 208428 0
vsize: 833776
[startup+1190.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 109471 92 0 0 19 0 10 0 779952982 853786624 26201 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 26201 13086 16 0 208428 0
vsize: 833776
[startup+1200.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 110374 92 0 0 22 0 10 0 779952982 853786624 26223 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 26223 13086 16 0 208428 0
vsize: 833776
[startup+1210.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 111270 93 0 0 18 0 10 0 779952982 853786624 26247 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 26247 13086 16 0 208428 0
vsize: 833776
[startup+1220.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 112172 93 0 0 22 0 10 0 779952982 853786624 26268 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 26268 13086 16 0 208428 0
vsize: 833776
[startup+1230.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 113070 93 0 0 19 0 10 0 779952982 853786624 26290 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 26290 13086 16 0 208428 0
vsize: 833776
[startup+1240.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 113975 94 0 0 22 0 10 0 779952982 853786624 26309 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 26309 13086 16 0 208428 0
vsize: 833776
[startup+1250.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 114872 94 0 0 19 0 10 0 779952982 853786624 26328 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 26328 13086 16 0 208428 0
vsize: 833776
[startup+1260.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 115775 94 0 0 22 0 10 0 779952982 853786624 26360 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 26360 13086 16 0 208428 0
vsize: 833776
[startup+1270.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 116672 95 0 0 19 0 10 0 779952982 853786624 26379 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 26379 13086 16 0 208428 0
vsize: 833776
[startup+1280.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 117575 95 0 0 22 0 10 0 779952982 853786624 26412 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 26412 13086 16 0 208428 0
vsize: 833776
[startup+1290.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 118474 96 0 0 19 0 10 0 779952982 853786624 26429 4294967295 134512640 134569956 3221224368 3221214208 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 26429 13086 16 0 208428 0
vsize: 833776
[startup+1300.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 119379 96 0 0 22 0 10 0 779952982 853786624 26459 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 26459 13086 16 0 208428 0
vsize: 833776
[startup+1310.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 29787
Raw data (stat): 29778 (java) R 29777 15547 15546 0 -1 0 18003 0 1 0 120280 97 0 0 19 0 10 0 779952982 853786624 26483 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208444 26483 13086 16 0 208428 0
vsize: 833776
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.36 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 29789
Raw data (stat): 29778 (java) Z 29777 15547 15546 0 -1 1036 18003 9661 1 0 120283 102 10841 45 21 0 1 0 779952982 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.36
CPU time (s): 1312.73
CPU user time (s): 1311.25
CPU system time (s): 1.47478
CPU usage (%): 100.181
Max. virtual memory (Kb): 835312
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####