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-pilot87.opb
MD5SUM	867c3fb6ec2e95bf03283295db1251ec
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	11677
Biggest coefficient in the objective function	1769666112389120
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	75483970843122814
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	536870912000000000
Number of bits of the biggest number in a constraint	59
Biggest sum of numbers in a constraint	1323519003456940521
Number of bits of the biggest sum of numbers	61
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.02684
Number of variables	113921
Total number of constraints	3645
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	3645
Minimum length of a constraint	10
Maximum length of a constraint	8647
Trace number 29463

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-25 07:59:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20863 boxname=wulflinc23 idbench=851 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  867c3fb6ec2e95bf03283295db1251ec  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-pilot87.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-pilot87.opb
IDLAUNCH: 20863
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        697424 kB
Buffers:         32176 kB
Cached:         282840 kB
SwapCached:        640 kB
Active:         108996 kB
Inactive:       208504 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        697172 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5628 kB
Slab:            14048 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 08:21:14 (client local time) WITH STATUS 143 IN 1309.41 SECONDS
stats: 20863 7 1309.41 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/wulflinc23/normalized-mps-v2-20-10-pilot87.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.14
#### 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.01 1.00 1.00 1/54 14434
Raw data (stat): 14434 (runsolver) D 14433 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 837267977 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 14443
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18012 0 1 0 867 40 0 0 25 0 10 0 837267977 853602304 19339 4294967295 134512640 134569956 3221224368 3221214648 1131187997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 19339 13086 16 0 208383 0
vsize: 833596
[startup+20.0013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 14443
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18013 0 1 0 1757 40 0 0 25 0 10 0 837267977 855621632 20290 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208892 20290 13086 16 0 208876 0
vsize: 835568
[startup+30.0014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 14443
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18013 0 1 0 2651 40 0 0 25 0 10 0 837267977 855588864 20781 4294967295 134512640 134569956 3221224368 3221214208 1079720856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208884 20781 13086 16 0 208868 0
vsize: 835536
[startup+40.0096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14443
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18013 0 1 0 3563 41 0 0 25 0 10 0 837267977 854650880 20919 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208655 20919 13086 16 0 208639 0
vsize: 834620
[startup+50.0105 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 14496
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18021 0 1 0 4474 44 0 0 25 0 10 0 837267977 854650880 21044 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208655 21044 13086 16 0 208639 0
vsize: 834620
[startup+60.0108 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 14496
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18022 0 1 0 5392 44 0 0 25 0 10 0 837267977 854650880 21190 4294967295 134512640 134569956 3221224368 3221214768 1131251233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 21190 13086 16 0 208639 0
vsize: 834620
[startup+70.011 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 14496
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18023 0 1 0 6314 45 0 0 25 0 10 0 837267977 854650880 21387 4294967295 134512640 134569956 3221224368 3221214136 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 21387 13086 16 0 208639 0
vsize: 834620
[startup+80.0122 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 14496
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18023 0 1 0 7249 46 0 0 25 0 10 0 837267977 854650880 21471 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 21471 13086 16 0 208639 0
vsize: 834620
[startup+90.0124 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 14496
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18023 0 1 0 8187 46 0 0 25 0 10 0 837267977 854650880 21580 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 21580 13086 16 0 208639 0
vsize: 834620
[startup+100.013 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 14496
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18023 0 1 0 9126 46 0 0 25 0 10 0 837267977 854650880 21671 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 21671 13086 16 0 208639 0
vsize: 834620
[startup+110.013 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 14496
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18023 0 1 0 10067 47 0 0 25 0 10 0 837267977 854650880 21760 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 21760 13086 16 0 208639 0
vsize: 834620
[startup+120.015 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18023 0 1 0 11004 48 0 0 25 0 10 0 837267977 854650880 21846 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 21846 13086 16 0 208639 0
vsize: 834620
[startup+130.015 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18023 0 1 0 11946 48 0 0 25 0 10 0 837267977 854650880 21923 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 21923 13086 16 0 208639 0
vsize: 834620
[startup+140.016 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18023 0 1 0 12880 48 0 0 25 0 10 0 837267977 854650880 22142 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 22142 13086 16 0 208639 0
vsize: 834620
[startup+150.017 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18023 0 1 0 13822 49 0 0 25 0 10 0 837267977 854650880 22212 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 22212 13086 16 0 208639 0
vsize: 834620
[startup+160.017 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 14761 49 0 0 24 0 10 0 837267977 854650880 22286 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 22286 13086 16 0 208639 0
vsize: 834620
[startup+170.018 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 15703 50 0 0 25 0 10 0 837267977 854650880 22351 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 22351 13086 16 0 208639 0
vsize: 834620
[startup+180.018 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 16628 50 0 0 25 0 10 0 837267977 854650880 22277 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 22277 13086 16 0 208639 0
vsize: 834620
[startup+190.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 17547 50 0 0 25 0 10 0 837267977 854650880 22338 4294967295 134512640 134569956 3221224368 3221214752 1130912398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 22338 13086 16 0 208639 0
vsize: 834620
[startup+200.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 18477 51 0 0 25 0 10 0 837267977 854650880 22572 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 22572 13086 16 0 208639 0
vsize: 834620
[startup+210.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 19416 51 0 0 25 0 10 0 837267977 854650880 22639 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 22639 13086 16 0 208639 0
vsize: 834620
[startup+220.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 20355 52 0 0 25 0 10 0 837267977 854650880 22694 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 22694 13086 16 0 208639 0
vsize: 834620
[startup+230.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 21295 52 0 0 25 0 10 0 837267977 854650880 22748 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 22748 13086 16 0 208639 0
vsize: 834620
[startup+240.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14498
Raw data (stat): 14434 (java) S 14433 5562 5561 0 -1 0 18024 0 1 0 22233 53 0 0 25 0 10 0 837267977 854650880 22802 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 22802 13086 16 0 208639 0
vsize: 834620
[startup+250.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 23168 53 0 0 24 0 10 0 837267977 854650880 22857 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 22857 13086 16 0 208639 0
vsize: 834620
[startup+260.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 24106 53 0 0 25 0 10 0 837267977 854650880 22907 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 22907 13086 16 0 208639 0
vsize: 834620
[startup+270.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 25043 53 0 0 25 0 10 0 837267977 854650880 22956 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 22956 13086 16 0 208639 0
vsize: 834620
[startup+280.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 25980 53 0 0 25 0 10 0 837267977 854650880 23006 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 23006 13086 16 0 208639 0
vsize: 834620
[startup+290.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 26916 54 0 0 25 0 10 0 837267977 854650880 23053 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 23053 13086 16 0 208639 0
vsize: 834620
[startup+300.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 27853 54 0 0 25 0 10 0 837267977 854650880 23103 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 23103 13086 16 0 208639 0
vsize: 834620
[startup+310.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 28786 55 0 0 24 0 10 0 837267977 854650880 23150 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208655 23150 13086 16 0 208639 0
vsize: 834620
[startup+320.031 s]
Raw data (loadavg): 1.00 1.00 1.00 3/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 29721 55 0 0 25 0 10 0 837267977 855805952 23357 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208937 23357 13086 16 0 208921 0
vsize: 835748
[startup+330.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 30655 55 0 0 25 0 10 0 837267977 856072192 23534 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209002 23534 13086 16 0 208986 0
vsize: 836008
[startup+340.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 31589 56 0 0 25 0 10 0 837267977 856072192 23581 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209002 23581 13086 16 0 208986 0
vsize: 836008
[startup+350.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 32522 56 0 0 25 0 10 0 837267977 856072192 23614 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209002 23614 13086 16 0 208986 0
vsize: 836008
[startup+360.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 33455 56 0 0 25 0 10 0 837267977 856072192 23659 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209002 23659 13086 16 0 208986 0
vsize: 836008
[startup+370.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 34387 57 0 0 25 0 10 0 837267977 856072192 23690 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209002 23690 13086 16 0 208986 0
vsize: 836008
[startup+380.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14498
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 35320 57 0 0 25 0 10 0 837267977 856072192 23735 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209002 23735 13086 16 0 208986 0
vsize: 836008
[startup+390.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 36252 58 0 0 25 0 10 0 837267977 856072192 23779 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209002 23779 13086 16 0 208986 0
vsize: 836008
[startup+400.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 37183 59 0 0 25 0 10 0 837267977 856072192 23809 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209002 23809 13086 16 0 208986 0
vsize: 836008
[startup+410.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 38115 59 0 0 25 0 10 0 837267977 856072192 23851 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209002 23851 13086 16 0 208986 0
vsize: 836008
[startup+420.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 39047 60 0 0 25 0 10 0 837267977 856072192 23893 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209002 23893 13086 16 0 208986 0
vsize: 836008
[startup+430.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 39978 60 0 0 25 0 10 0 837267977 856072192 23922 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209002 23922 13086 16 0 208986 0
vsize: 836008
[startup+440.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 40907 61 0 0 25 0 10 0 837267977 856072192 23964 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209002 23964 13086 16 0 208986 0
vsize: 836008
[startup+450.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 41836 61 0 0 25 0 10 0 837267977 856072192 24006 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209002 24006 13086 16 0 208986 0
vsize: 836008
[startup+460.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 42762 62 0 0 25 0 10 0 837267977 856072192 24045 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209002 24045 13086 16 0 208986 0
vsize: 836008
[startup+470.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 43688 62 0 0 25 0 10 0 837267977 856072192 24086 4294967295 134512640 134569956 3221224368 3221214496 1131303191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209002 24086 13086 16 0 208986 0
vsize: 836008
[startup+480.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 44612 63 0 0 25 0 10 0 837267977 856072192 24131 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209002 24131 13086 16 0 208986 0
vsize: 836008
[startup+490.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 45535 63 0 0 24 0 10 0 837267977 856072192 24176 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209002 24176 13086 16 0 208986 0
vsize: 836008
[startup+500.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 46462 63 0 0 25 0 10 0 837267977 855482368 24058 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 24058 13086 16 0 208842 0
vsize: 835432
[startup+510.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 47380 64 0 0 25 0 10 0 837267977 855482368 24103 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 24103 13086 16 0 208842 0
vsize: 835432
[startup+520.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 48297 64 0 0 25 0 10 0 837267977 855482368 24176 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 24176 13086 16 0 208842 0
vsize: 835432
[startup+530.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 49216 64 0 0 25 0 10 0 837267977 855482368 24231 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 24231 13086 16 0 208842 0
vsize: 835432
[startup+540.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 50123 65 0 0 25 0 10 0 837267977 855482368 24293 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 24293 13086 16 0 208842 0
vsize: 835432
[startup+550.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 51035 66 0 0 25 0 10 0 837267977 855482368 24384 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 24384 13086 16 0 208842 0
vsize: 835432
[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 51943 66 0 0 25 0 10 0 837267977 855482368 24464 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 24464 13086 16 0 208842 0
vsize: 835432
[startup+570.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 52847 67 0 0 25 0 10 0 837267977 855482368 24562 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208858 24562 13086 16 0 208842 0
vsize: 835432
[startup+580.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 53764 67 0 0 24 0 10 0 837267977 855482368 24677 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 24677 13086 16 0 208842 0
vsize: 835432
[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 54689 68 0 0 25 0 10 0 837267977 855482368 24718 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 24718 13086 16 0 208842 0
vsize: 835432
[startup+600.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 55608 68 0 0 25 0 10 0 837267977 855482368 24760 4294967295 134512640 134569956 3221224368 3221214256 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208858 24760 13086 16 0 208842 0
vsize: 835432
[startup+610.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 56526 69 0 0 25 0 10 0 837267977 855482368 24807 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 24807 13086 16 0 208842 0
vsize: 835432
[startup+620.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 57450 69 0 0 25 0 10 0 837267977 855482368 24846 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 24846 13086 16 0 208842 0
vsize: 835432
[startup+630.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 58366 69 0 0 25 0 10 0 837267977 855482368 24897 4294967295 134512640 134569956 3221224368 3221214780 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 24897 13086 16 0 208842 0
vsize: 835432
[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 59286 70 0 0 25 0 10 0 837267977 855482368 24957 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 24957 13086 16 0 208842 0
vsize: 835432
[startup+650.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 60207 70 0 0 24 0 10 0 837267977 855482368 24987 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 24987 13086 16 0 208842 0
vsize: 835432
[startup+660.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 61132 71 0 0 25 0 10 0 837267977 855482368 25026 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 25026 13086 16 0 208842 0
vsize: 835432
[startup+670.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 62051 71 0 0 25 0 10 0 837267977 855482368 25059 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 25059 13086 16 0 208842 0
vsize: 835432
[startup+680.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 62968 71 0 0 24 0 10 0 837267977 855482368 25092 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 25092 13086 16 0 208842 0
vsize: 835432
[startup+690.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 63890 72 0 0 25 0 10 0 837267977 855482368 25750 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 25750 13086 16 0 208842 0
vsize: 835432
[startup+700.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 64804 72 0 0 20 0 10 0 837267977 855482368 25777 4294967295 134512640 134569956 3221224368 3221214256 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 25777 13086 16 0 208842 0
vsize: 835432
[startup+710.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 65715 72 0 0 22 0 10 0 837267977 855482368 25807 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 25807 13086 16 0 208842 0
vsize: 835432
[startup+720.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 66621 73 0 0 24 0 10 0 837267977 855482368 25858 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 25858 13086 16 0 208842 0
vsize: 835432
[startup+730.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 67535 73 0 0 25 0 10 0 837267977 855482368 25878 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 25878 13086 16 0 208842 0
vsize: 835432
[startup+740.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) S 14433 5562 5561 0 -1 0 18024 0 1 0 68443 73 0 0 25 0 10 0 837267977 855482368 25916 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 25916 13086 16 0 208842 0
vsize: 835432
[startup+750.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 69353 74 0 0 25 0 10 0 837267977 855482368 25961 4294967295 134512640 134569956 3221224368 3221214160 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 25961 13086 16 0 208842 0
vsize: 835432
[startup+760.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 70268 74 0 0 25 0 10 0 837267977 855482368 25998 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 25998 13086 16 0 208842 0
vsize: 835432
[startup+770.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 71172 75 0 0 25 0 10 0 837267977 855482368 26019 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26019 13086 16 0 208842 0
vsize: 835432
[startup+780.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 72079 75 0 0 25 0 10 0 837267977 855482368 26039 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26039 13086 16 0 208842 0
vsize: 835432
[startup+790.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 72987 75 0 0 25 0 10 0 837267977 855482368 26114 4294967295 134512640 134569956 3221224368 3221214256 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26114 13086 16 0 208842 0
vsize: 835432
[startup+800.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 73900 76 0 0 25 0 10 0 837267977 855482368 26147 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26147 13086 16 0 208842 0
vsize: 835432
[startup+810.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 74806 76 0 0 25 0 10 0 837267977 855482368 26172 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26172 13086 16 0 208842 0
vsize: 835432
[startup+820.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 75711 77 0 0 25 0 10 0 837267977 855482368 26191 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26191 13086 16 0 208842 0
vsize: 835432
[startup+830.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 76615 77 0 0 25 0 10 0 837267977 855482368 26281 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26281 13086 16 0 208842 0
vsize: 835432
[startup+840.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 77520 77 0 0 25 0 10 0 837267977 855482368 26319 4294967295 134512640 134569956 3221224368 3221214256 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26319 13086 16 0 208842 0
vsize: 835432
[startup+850.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 78432 78 0 0 25 0 10 0 837267977 855482368 26343 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26343 13086 16 0 208842 0
vsize: 835432
[startup+860.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) S 14433 5562 5561 0 -1 0 18024 0 1 0 79339 78 0 0 25 0 10 0 837267977 855482368 26378 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26378 13086 16 0 208842 0
vsize: 835432
[startup+870.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 80251 79 0 0 25 0 10 0 837267977 855482368 26405 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26405 13086 16 0 208842 0
vsize: 835432
[startup+880.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 81155 79 0 0 25 0 10 0 837267977 855482368 26453 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26453 13086 16 0 208842 0
vsize: 835432
[startup+890.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 82052 80 0 0 25 0 10 0 837267977 855482368 26497 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26497 13086 16 0 208842 0
vsize: 835432
[startup+900.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 82948 80 0 0 24 0 10 0 837267977 855482368 26615 4294967295 134512640 134569956 3221224368 3221214256 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26615 13086 16 0 208842 0
vsize: 835432
[startup+910.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 83859 81 0 0 25 0 10 0 837267977 855482368 26652 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26652 13086 16 0 208842 0
vsize: 835432
[startup+920.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 84767 81 0 0 25 0 10 0 837267977 855482368 26675 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26675 13086 16 0 208842 0
vsize: 835432
[startup+930.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 85669 82 0 0 24 0 10 0 837267977 855482368 26712 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26712 13086 16 0 208842 0
vsize: 835432
[startup+940.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 86578 82 0 0 25 0 10 0 837267977 855482368 26736 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26736 13086 16 0 208842 0
vsize: 835432
[startup+950.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 87477 83 0 0 25 0 10 0 837267977 855482368 26770 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26770 13086 16 0 208842 0
vsize: 835432
[startup+960.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 88376 83 0 0 25 0 10 0 837267977 855482368 26925 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26925 13086 16 0 208842 0
vsize: 835432
[startup+970.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 89275 84 0 0 24 0 10 0 837267977 855482368 26957 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26957 13086 16 0 208842 0
vsize: 835432
[startup+980.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 90182 84 0 0 25 0 10 0 837267977 855482368 26994 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 26994 13086 16 0 208842 0
vsize: 835432
[startup+990.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 91087 85 0 0 25 0 10 0 837267977 855482368 27022 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 27022 13086 16 0 208842 0
vsize: 835432
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 91988 85 0 0 24 0 10 0 837267977 855482368 27057 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 27057 13086 16 0 208842 0
vsize: 835432
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 92888 85 0 0 25 0 10 0 837267977 855482368 27082 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 27082 13086 16 0 208842 0
vsize: 835432
[startup+1020.07 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 93795 86 0 0 25 0 10 0 837267977 855482368 27217 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208858 27217 13086 16 0 208842 0
vsize: 835432
[startup+1030.07 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 94697 86 0 0 21 0 10 0 837267977 855482368 27240 4294967295 134512640 134569956 3221224368 3221214208 1076461013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 27240 13086 16 0 208842 0
vsize: 835432
[startup+1040.07 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 95601 86 0 0 23 0 10 0 837267977 855482368 27280 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 27280 13086 16 0 208842 0
vsize: 835432
[startup+1050.07 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 96501 87 0 0 19 0 10 0 837267977 855482368 27307 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 27307 13086 16 0 208842 0
vsize: 835432
[startup+1060.07 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 97406 88 0 0 21 0 10 0 837267977 855482368 27336 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 27336 13086 16 0 208842 0
vsize: 835432
[startup+1070.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 98306 88 0 0 21 0 10 0 837267977 855482368 27369 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 27369 13086 16 0 208842 0
vsize: 835432
[startup+1080.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 99208 89 0 0 22 0 10 0 837267977 855482368 27463 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 27463 13086 16 0 208842 0
vsize: 835432
[startup+1090.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 100104 90 0 0 20 0 10 0 837267977 855482368 27524 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208858 27524 13086 16 0 208842 0
vsize: 835432
[startup+1100.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 101002 90 0 0 21 0 10 0 837267977 855482368 27589 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 27589 13086 16 0 208842 0
vsize: 835432
[startup+1110.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 101900 90 0 0 23 0 10 0 837267977 855482368 27620 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 27620 13086 16 0 208842 0
vsize: 835432
[startup+1120.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 102798 91 0 0 22 0 10 0 837267977 855482368 27659 4294967295 134512640 134569956 3221224368 3221214240 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 27659 13086 16 0 208842 0
vsize: 835432
[startup+1130.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 103694 92 0 0 23 0 10 0 837267977 855482368 27712 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 27712 13086 16 0 208842 0
vsize: 835432
[startup+1140.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 104594 92 0 0 23 0 10 0 837267977 855482368 27811 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 27811 13086 16 0 208842 0
vsize: 835432
[startup+1150.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) S 14433 5562 5561 0 -1 0 18024 0 1 0 105494 93 0 0 23 0 10 0 837267977 855482368 27922 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 27922 13086 16 0 208842 0
vsize: 835432
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 106397 94 0 0 25 0 10 0 837267977 855482368 28067 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 28067 13086 16 0 208842 0
vsize: 835432
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 107299 95 0 0 25 0 10 0 837267977 855482368 28067 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 28067 13086 16 0 208842 0
vsize: 835432
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 108194 95 0 0 25 0 10 0 837267977 855482368 28396 4294967295 134512640 134569956 3221224368 3221214256 1080019733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 28396 13086 16 0 208842 0
vsize: 835432
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) S 14433 5562 5561 0 -1 0 18024 0 1 0 109107 96 0 0 24 0 10 0 837267977 855482368 28396 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 28396 13086 16 0 208842 0
vsize: 835432
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 110008 96 0 0 24 0 10 0 837267977 855482368 28588 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 28588 13086 16 0 208842 0
vsize: 835432
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 110914 97 0 0 24 0 10 0 837267977 855482368 28686 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 28686 13086 16 0 208842 0
vsize: 835432
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 111820 98 0 0 25 0 10 0 837267977 855482368 28686 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 28686 13086 16 0 208842 0
vsize: 835432
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 112715 99 0 0 25 0 10 0 837267977 855482368 28886 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 28886 13086 16 0 208842 0
vsize: 835432
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 113629 99 0 0 25 0 10 0 837267977 855482368 28886 4294967295 134512640 134569956 3221224368 3221214256 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 28886 13086 16 0 208842 0
vsize: 835432
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 114532 99 0 0 25 0 10 0 837267977 855482368 28886 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 28886 13086 16 0 208842 0
vsize: 835432
[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 115433 100 0 0 25 0 10 0 837267977 855482368 28918 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 28918 13086 16 0 208842 0
vsize: 835432
[startup+1270.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 116331 100 0 0 25 0 10 0 837267977 855482368 28959 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 28959 13086 16 0 208842 0
vsize: 835432
[startup+1280.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) S 14433 5562 5561 0 -1 0 18024 0 1 0 117231 101 0 0 25 0 10 0 837267977 855482368 29019 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 29019 13086 16 0 208842 0
vsize: 835432
[startup+1290.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 118136 102 0 0 24 0 10 0 837267977 855482368 29168 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 29168 13086 16 0 208842 0
vsize: 835432
[startup+1300.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 119045 102 0 0 25 0 10 0 837267977 855482368 29304 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 29304 13086 16 0 208842 0
vsize: 835432
[startup+1310.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14500
Raw data (stat): 14434 (java) R 14433 5562 5561 0 -1 0 18024 0 1 0 119955 103 0 0 25 0 10 0 837267977 855482368 29514 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208858 29514 13086 16 0 208842 0
vsize: 835432
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.23 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 14502
Raw data (stat): 14434 (java) Z 14433 5562 5561 0 -1 1036 18024 10875 1 0 119956 103 10829 52 24 0 1 0 837267977 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.23
CPU time (s): 1309.41
CPU user time (s): 1307.86
CPU system time (s): 1.55476
CPU usage (%): 99.9379
Max. virtual memory (Kb): 836008
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####