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-greenbea.opb
MD5SUM	9328ce67cb4db3dffdeb7eebb9aea072
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	15205
Biggest coefficient in the objective function	536870912000000
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	11303756896327816
Number of bits of the sum of numbers in the objective function	54
Biggest number in a constraint	536870912000000
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	24454743822989865
Number of bits of the biggest sum of numbers	55
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.40979
Number of variables	155427
Total number of constraints	2675
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	2675
Minimum length of a constraint	11
Maximum length of a constraint	7267
Trace number 29452

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-25 07:46:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20849 boxname=wulflinc26 idbench=837 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  9328ce67cb4db3dffdeb7eebb9aea072  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-greenbea.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-greenbea.opb
IDLAUNCH: 20849
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        354428 kB
Buffers:         35924 kB
Cached:         620436 kB
SwapCached:        656 kB
Active:         163728 kB
Inactive:       495232 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        354176 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            15688 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 08:08:48 (client local time) WITH STATUS 143 IN 1328.13 SECONDS
stats: 20849 7 1328.13 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/wulflinc26/normalized-mps-v2-20-10-greenbea.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) : 1319.182
#### 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 1613
Raw data (stat): 1613 (runsolver) R 1612 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837196763 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18026 0 1 0 870 43 0 0 24 0 10 0 837196763 853438464 19424 4294967295 134512640 134569956 3221224368 3221214568 1130887239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208359 19424 13086 16 0 208343 0
vsize: 833436
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 1622
Raw data (stat): 1613 (java) S 1612 20687 20686 0 -1 0 18027 0 1 0 1762 43 0 0 25 0 10 0 837196763 854347776 20127 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208581 20127 13086 16 0 208565 0
vsize: 834324
[startup+30.0021 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18027 0 1 0 2657 43 0 0 25 0 10 0 837196763 854347776 20667 4294967295 134512640 134569956 3221224368 3221214688 1131193025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208581 20667 13086 16 0 208565 0
vsize: 834324
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18027 0 1 0 3571 44 0 0 25 0 10 0 837196763 854347776 20981 4294967295 134512640 134569956 3221224368 3221214768 1131247166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208581 20981 13086 16 0 208565 0
vsize: 834324
[startup+50.0045 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18027 0 1 0 4490 44 0 0 25 0 10 0 837196763 854347776 21160 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208581 21160 13086 16 0 208565 0
vsize: 834324
[startup+60.0054 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 1622
Raw data (stat): 1613 (java) S 1612 20687 20686 0 -1 0 18027 0 1 0 5408 44 0 0 25 0 10 0 837196763 854347776 21299 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208581 21299 13086 16 0 208565 0
vsize: 834324
[startup+70.0058 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18035 0 1 0 6329 45 0 0 24 0 10 0 837196763 854347776 21596 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208581 21596 13086 16 0 208565 0
vsize: 834324
[startup+80.0066 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18037 0 1 0 7247 46 0 0 25 0 10 0 837196763 855396352 21898 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208837 21898 13086 16 0 208821 0
vsize: 835348
[startup+90.0075 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18037 0 1 0 8163 46 0 0 25 0 10 0 837196763 855396352 21970 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208837 21970 13086 16 0 208821 0
vsize: 835348
[startup+100.008 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 9073 47 0 0 25 0 10 0 837196763 864239616 24307 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210996 24307 13086 16 0 210980 0
vsize: 843984
[startup+110.009 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 10006 47 0 0 25 0 10 0 837196763 855396352 22290 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208837 22290 13086 16 0 208821 0
vsize: 835348
[startup+120.009 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 10944 48 0 0 25 0 10 0 837196763 855396352 22396 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208837 22396 13086 16 0 208821 0
vsize: 835348
[startup+130.01 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) S 1612 20687 20686 0 -1 0 18038 0 1 0 11881 48 0 0 25 0 10 0 837196763 855396352 22649 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208837 22649 13086 16 0 208821 0
vsize: 835348
[startup+140.011 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 12819 49 0 0 25 0 10 0 837196763 855396352 22694 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208837 22694 13086 16 0 208821 0
vsize: 835348
[startup+150.012 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 13760 50 0 0 25 0 10 0 837196763 855396352 22773 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208837 22773 13086 16 0 208821 0
vsize: 835348
[startup+160.012 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 14696 50 0 0 25 0 10 0 837196763 855396352 22836 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208837 22836 13086 16 0 208821 0
vsize: 835348
[startup+170.012 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 15635 51 0 0 25 0 10 0 837196763 855396352 22926 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208837 22926 13086 16 0 208821 0
vsize: 835348
[startup+180.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 16560 51 0 0 25 0 10 0 837196763 855396352 22999 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208837 22999 13086 16 0 208821 0
vsize: 835348
[startup+190.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 17479 51 0 0 24 0 10 0 837196763 855396352 23069 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208837 23069 13086 16 0 208821 0
vsize: 835348
[startup+200.014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 18414 51 0 0 25 0 10 0 837196763 856444928 23495 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 23495 13086 16 0 209077 0
vsize: 836372
[startup+210.015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 19351 52 0 0 25 0 10 0 837196763 856444928 23563 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 23563 13086 16 0 209077 0
vsize: 836372
[startup+220.015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 20284 52 0 0 25 0 10 0 837196763 856444928 23630 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 23630 13086 16 0 209077 0
vsize: 836372
[startup+230.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 21221 52 0 0 25 0 10 0 837196763 856444928 23695 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 23695 13086 16 0 209077 0
vsize: 836372
[startup+240.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 22154 52 0 0 25 0 10 0 837196763 856444928 23758 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 23758 13086 16 0 209077 0
vsize: 836372
[startup+250.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 23090 52 0 0 25 0 10 0 837196763 856444928 23822 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 23822 13086 16 0 209077 0
vsize: 836372
[startup+260.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 24023 52 0 0 25 0 10 0 837196763 856444928 23881 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 23881 13086 16 0 209077 0
vsize: 836372
[startup+270.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 24959 52 0 0 25 0 10 0 837196763 856444928 23942 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 23942 13086 16 0 209077 0
vsize: 836372
[startup+280.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 25889 52 0 0 25 0 10 0 837196763 856444928 24001 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 24001 13086 16 0 209077 0
vsize: 836372
[startup+290.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 26824 52 0 0 25 0 10 0 837196763 856444928 24058 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 24058 13086 16 0 209077 0
vsize: 836372
[startup+300.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 27753 53 0 0 24 0 10 0 837196763 856444928 24119 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 24119 13086 16 0 209077 0
vsize: 836372
[startup+310.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 28687 53 0 0 25 0 10 0 837196763 856444928 24174 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 24174 13086 16 0 209077 0
vsize: 836372
[startup+320.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 29620 53 0 0 25 0 10 0 837196763 856444928 24229 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 24229 13086 16 0 209077 0
vsize: 836372
[startup+330.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 30550 53 0 0 25 0 10 0 837196763 856444928 24288 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 24288 13086 16 0 209077 0
vsize: 836372
[startup+340.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 31483 53 0 0 25 0 10 0 837196763 856444928 24342 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 24342 13086 16 0 209077 0
vsize: 836372
[startup+350.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 32411 53 0 0 24 0 10 0 837196763 856444928 24397 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 24397 13086 16 0 209077 0
vsize: 836372
[startup+360.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 33343 53 0 0 25 0 10 0 837196763 856444928 24450 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 24450 13086 16 0 209077 0
vsize: 836372
[startup+370.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 34275 54 0 0 25 0 10 0 837196763 856444928 24500 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 24500 13086 16 0 209077 0
vsize: 836372
[startup+380.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 35202 54 0 0 25 0 10 0 837196763 856444928 24553 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 24553 13086 16 0 209077 0
vsize: 836372
[startup+390.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 36134 54 0 0 25 0 10 0 837196763 856444928 24601 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 24601 13086 16 0 209077 0
vsize: 836372
[startup+400.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 37060 54 0 0 24 0 10 0 837196763 856444928 24654 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 24654 13086 16 0 209077 0
vsize: 836372
[startup+410.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 37990 54 0 0 25 0 10 0 837196763 856444928 24700 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 24700 13086 16 0 209077 0
vsize: 836372
[startup+420.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 38920 54 0 0 25 0 10 0 837196763 856444928 24747 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 24747 13086 16 0 209077 0
vsize: 836372
[startup+430.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 39845 54 0 0 25 0 10 0 837196763 856444928 24798 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 24798 13086 16 0 209077 0
vsize: 836372
[startup+440.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 40774 54 0 0 25 0 10 0 837196763 856444928 24844 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 24844 13086 16 0 209077 0
vsize: 836372
[startup+450.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) S 1612 20687 20686 0 -1 0 18038 0 1 0 41699 54 0 0 25 0 10 0 837196763 856444928 24890 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 24890 13086 16 0 209077 0
vsize: 836372
[startup+460.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 42627 55 0 0 25 0 10 0 837196763 856444928 24940 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 24940 13086 16 0 209077 0
vsize: 836372
[startup+470.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 43555 55 0 0 25 0 10 0 837196763 856444928 24985 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 24985 13086 16 0 209077 0
vsize: 836372
[startup+480.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 44479 55 0 0 24 0 10 0 837196763 856444928 25031 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 25031 13086 16 0 209077 0
vsize: 836372
[startup+490.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 45407 55 0 0 25 0 10 0 837196763 856444928 25075 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 25075 13086 16 0 209077 0
vsize: 836372
[startup+500.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 46334 55 0 0 25 0 10 0 837196763 856444928 25119 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 25119 13086 16 0 209077 0
vsize: 836372
[startup+510.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 47256 56 0 0 24 0 10 0 837196763 856444928 25164 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 25164 13086 16 0 209077 0
vsize: 836372
[startup+520.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 48181 56 0 0 25 0 10 0 837196763 856444928 25206 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 25206 13086 16 0 209077 0
vsize: 836372
[startup+530.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 49107 56 0 0 25 0 10 0 837196763 856444928 25247 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 25247 13086 16 0 209077 0
vsize: 836372
[startup+540.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 50032 56 0 0 25 0 10 0 837196763 856444928 25290 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 25290 13086 16 0 209077 0
vsize: 836372
[startup+550.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 50953 56 0 0 25 0 10 0 837196763 856444928 25331 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 25331 13086 16 0 209077 0
vsize: 836372
[startup+560.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 51877 56 0 0 25 0 10 0 837196763 856444928 25373 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 25373 13086 16 0 209077 0
vsize: 836372
[startup+570.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 52801 56 0 0 25 0 10 0 837196763 856444928 25412 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 25412 13086 16 0 209077 0
vsize: 836372
[startup+580.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 53725 56 0 0 25 0 10 0 837196763 856444928 25455 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 25455 13086 16 0 209077 0
vsize: 836372
[startup+590.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 54643 56 0 0 24 0 10 0 837196763 856444928 25499 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 25499 13086 16 0 209077 0
vsize: 836372
[startup+600.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 55566 57 0 0 25 0 10 0 837196763 856444928 25537 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 25537 13086 16 0 209077 0
vsize: 836372
[startup+610.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 56488 57 0 0 25 0 10 0 837196763 856444928 25576 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 25576 13086 16 0 209077 0
vsize: 836372
[startup+620.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 57411 57 0 0 25 0 10 0 837196763 856444928 25616 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 25616 13086 16 0 209077 0
vsize: 836372
[startup+630.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 58328 57 0 0 24 0 10 0 837196763 856444928 25654 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 25654 13086 16 0 209077 0
vsize: 836372
[startup+640.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 59250 57 0 0 25 0 10 0 837196763 856444928 25693 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 25693 13086 16 0 209077 0
vsize: 836372
[startup+650.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 60172 57 0 0 25 0 10 0 837196763 856444928 25731 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 25731 13086 16 0 209077 0
vsize: 836372
[startup+660.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 61093 57 0 0 25 0 10 0 837196763 856444928 25770 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 25770 13086 16 0 209077 0
vsize: 836372
[startup+670.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 62008 57 0 0 25 0 10 0 837196763 856444928 26365 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 26365 13086 16 0 209077 0
vsize: 836372
[startup+680.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) S 1612 20687 20686 0 -1 0 18038 0 1 0 62933 57 0 0 25 0 10 0 837196763 856444928 26365 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 26365 13086 16 0 209077 0
vsize: 836372
[startup+690.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) S 1612 20687 20686 0 -1 0 18038 0 1 0 63845 57 0 0 25 0 10 0 837196763 856444928 26375 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 26375 13086 16 0 209077 0
vsize: 836372
[startup+700.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) S 1612 20687 20686 0 -1 0 18038 0 1 0 64757 57 0 0 25 0 10 0 837196763 856444928 26411 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 26411 13086 16 0 209077 0
vsize: 836372
[startup+710.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) S 1612 20687 20686 0 -1 0 18038 0 1 0 65668 58 0 0 25 0 10 0 837196763 856444928 26448 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 26448 13086 16 0 209077 0
vsize: 836372
[startup+720.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) S 1612 20687 20686 0 -1 0 18038 0 1 0 66580 58 0 0 25 0 10 0 837196763 856444928 26484 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 26484 13086 16 0 209077 0
vsize: 836372
[startup+730.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) S 1612 20687 20686 0 -1 0 18038 0 1 0 67489 58 0 0 25 0 10 0 837196763 856444928 26519 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 26519 13086 16 0 209077 0
vsize: 836372
[startup+740.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 68400 58 0 0 25 0 10 0 837196763 856444928 26550 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 26550 13086 16 0 209077 0
vsize: 836372
[startup+750.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 69311 58 0 0 25 0 10 0 837196763 856444928 26586 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 26586 13086 16 0 209077 0
vsize: 836372
[startup+760.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 70219 58 0 0 25 0 10 0 837196763 856444928 26619 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 26619 13086 16 0 209077 0
vsize: 836372
[startup+770.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 71127 58 0 0 25 0 10 0 837196763 856444928 26657 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 26657 13086 16 0 209077 0
vsize: 836372
[startup+780.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 72036 58 0 0 25 0 10 0 837196763 856444928 26691 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 26691 13086 16 0 209077 0
vsize: 836372
[startup+790.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1622
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 72942 58 0 0 25 0 10 0 837196763 856444928 26726 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 26726 13086 16 0 209077 0
vsize: 836372
[startup+800.089 s]
Raw data (loadavg): 1.00 1.00 1.00 4/67 1651
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 73847 61 0 0 25 0 10 0 837196763 856444928 26760 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 26760 13086 16 0 209077 0
vsize: 836372
[startup+810.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1682
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 74750 65 0 0 24 0 10 0 837196763 856444928 26793 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 26793 13086 16 0 209077 0
vsize: 836372
[startup+820.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1682
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 75664 65 0 0 25 0 10 0 837196763 856444928 26824 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 26824 13086 16 0 209077 0
vsize: 836372
[startup+830.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1682
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 76571 65 0 0 25 0 10 0 837196763 856444928 26858 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 26858 13086 16 0 209077 0
vsize: 836372
[startup+840.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1682
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 77478 65 0 0 25 0 10 0 837196763 856444928 26891 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 26891 13086 16 0 209077 0
vsize: 836372
[startup+850.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1682
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 78385 65 0 0 25 0 10 0 837196763 856444928 26925 4294967295 134512640 134569956 3221224368 3221214264 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 26925 13086 16 0 209077 0
vsize: 836372
[startup+860.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1682
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 79292 65 0 0 24 0 10 0 837196763 856444928 26955 4294967295 134512640 134569956 3221224368 3221214760 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 26955 13086 16 0 209077 0
vsize: 836372
[startup+870.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 80205 65 0 0 25 0 10 0 837196763 856444928 26986 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 26986 13086 16 0 209077 0
vsize: 836372
[startup+880.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 81112 65 0 0 25 0 10 0 837196763 856444928 27019 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 27019 13086 16 0 209077 0
vsize: 836372
[startup+890.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 82018 65 0 0 25 0 10 0 837196763 856444928 27051 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 27051 13086 16 0 209077 0
vsize: 836372
[startup+900.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 82924 66 0 0 24 0 10 0 837196763 856444928 27085 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 27085 13086 16 0 209077 0
vsize: 836372
[startup+910.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) S 1612 20687 20686 0 -1 0 18038 0 1 0 83832 66 0 0 25 0 10 0 837196763 856444928 27114 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 27114 13086 16 0 209077 0
vsize: 836372
[startup+920.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 84740 66 0 0 25 0 10 0 837196763 856444928 27146 4294967295 134512640 134569956 3221224368 3221214760 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 27146 13086 16 0 209077 0
vsize: 836372
[startup+930.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 85644 66 0 0 25 0 10 0 837196763 856444928 27179 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 27179 13086 16 0 209077 0
vsize: 836372
[startup+940.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 86548 66 0 0 25 0 10 0 837196763 856444928 27210 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 27210 13086 16 0 209077 0
vsize: 836372
[startup+950.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) S 1612 20687 20686 0 -1 0 18038 0 1 0 87457 66 0 0 25 0 10 0 837196763 856444928 27239 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 27239 13086 16 0 209077 0
vsize: 836372
[startup+960.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 88363 66 0 0 25 0 10 0 837196763 856444928 27270 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 27270 13086 16 0 209077 0
vsize: 836372
[startup+970.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 89267 66 0 0 25 0 10 0 837196763 856444928 27301 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 27301 13086 16 0 209077 0
vsize: 836372
[startup+980.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 90170 66 0 0 25 0 10 0 837196763 856444928 27330 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 27330 13086 16 0 209077 0
vsize: 836372
[startup+990.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 91071 67 0 0 24 0 10 0 837196763 856444928 27362 4294967295 134512640 134569956 3221224368 3221214152 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 27362 13086 16 0 209077 0
vsize: 836372
[startup+1000.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 91979 67 0 0 25 0 10 0 837196763 856444928 27391 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 27391 13086 16 0 209077 0
vsize: 836372
[startup+1010.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 92880 67 0 0 25 0 10 0 837196763 856444928 27419 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 27419 13086 16 0 209077 0
vsize: 836372
[startup+1020.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 93782 68 0 0 20 0 10 0 837196763 856444928 27446 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 27446 13086 16 0 209077 0
vsize: 836372
[startup+1030.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 94683 68 0 0 19 0 10 0 837196763 856444928 27470 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 27470 13086 16 0 209077 0
vsize: 836372
[startup+1040.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) S 1612 20687 20686 0 -1 0 18038 0 1 0 95587 69 0 0 23 0 10 0 837196763 856444928 27491 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 27491 13086 16 0 209077 0
vsize: 836372
[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 96489 69 0 0 23 0 10 0 837196763 856444928 27524 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 27524 13086 16 0 209077 0
vsize: 836372
[startup+1060.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 97388 69 0 0 21 0 10 0 837196763 856444928 27542 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 27542 13086 16 0 209077 0
vsize: 836372
[startup+1070.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 98285 69 0 0 18 0 10 0 837196763 856444928 27582 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 27582 13086 16 0 209077 0
vsize: 836372
[startup+1080.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 99187 69 0 0 22 0 10 0 837196763 856444928 27618 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 27618 13086 16 0 209077 0
vsize: 836372
[startup+1090.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 100084 69 0 0 20 0 10 0 837196763 856444928 27646 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 27646 13086 16 0 209077 0
vsize: 836372
[startup+1100.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 100982 70 0 0 20 0 10 0 837196763 856444928 27676 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 27676 13086 16 0 209077 0
vsize: 836372
[startup+1110.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) S 1612 20687 20686 0 -1 0 18038 0 1 0 101885 70 0 0 23 0 10 0 837196763 856444928 27704 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 27704 13086 16 0 209077 0
vsize: 836372
[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 102784 71 0 0 21 0 10 0 837196763 856444928 27735 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 27735 13086 16 0 209077 0
vsize: 836372
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1684
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 103681 71 0 0 19 0 10 0 837196763 856444928 27773 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 27773 13086 16 0 209077 0
vsize: 836372
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1686
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 104577 72 0 0 18 0 10 0 837196763 856444928 27800 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 27800 13086 16 0 209077 0
vsize: 836372
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1686
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18038 0 1 0 105479 73 0 0 22 0 10 0 837196763 856444928 27842 4294967295 134512640 134569956 3221224368 3221214264 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 27842 13086 16 0 209077 0
vsize: 836372
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1686
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18040 0 1 0 106374 73 0 0 20 0 10 0 837196763 856444928 27878 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 27878 13086 16 0 209077 0
vsize: 836372
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1686
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18040 0 1 0 107268 73 0 0 18 0 10 0 837196763 856444928 27914 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 27914 13086 16 0 209077 0
vsize: 836372
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1686
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18040 0 1 0 108172 73 0 0 21 0 10 0 837196763 856444928 27947 4294967295 134512640 134569956 3221224368 3221214152 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 27947 13086 16 0 209077 0
vsize: 836372
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1686
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18040 0 1 0 109069 73 0 0 18 0 10 0 837196763 856444928 27984 4294967295 134512640 134569956 3221224368 3221214264 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 27984 13086 16 0 209077 0
vsize: 836372
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1686
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18040 0 1 0 109972 73 0 0 21 0 10 0 837196763 856444928 28013 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 28013 13086 16 0 209077 0
vsize: 836372
[startup+1210.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1686
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18040 0 1 0 110867 74 0 0 18 0 10 0 837196763 856444928 28041 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 28041 13086 16 0 209077 0
vsize: 836372
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1686
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18040 0 1 0 111770 74 0 0 23 0 10 0 837196763 856444928 28070 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 28070 13086 16 0 209077 0
vsize: 836372
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1686
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18040 0 1 0 112667 74 0 0 20 0 10 0 837196763 856444928 28101 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 28101 13086 16 0 209077 0
vsize: 836372
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1686
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18040 0 1 0 113564 74 0 0 18 0 10 0 837196763 856444928 28137 4294967295 134512640 134569956 3221224368 3221214796 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 28137 13086 16 0 209077 0
vsize: 836372
[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1686
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18040 0 1 0 114466 75 0 0 22 0 10 0 837196763 856444928 28169 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 28169 13086 16 0 209077 0
vsize: 836372
[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1686
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18040 0 1 0 115364 75 0 0 20 0 10 0 837196763 856444928 28200 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 28200 13086 16 0 209077 0
vsize: 836372
[startup+1270.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1686
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18040 0 1 0 116261 76 0 0 18 0 10 0 837196763 856444928 28211 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 28211 13086 16 0 209077 0
vsize: 836372
[startup+1280.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1686
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18040 0 1 0 117162 77 0 0 22 0 10 0 837196763 856444928 28253 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 28253 13086 16 0 209077 0
vsize: 836372
[startup+1290.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1686
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18040 0 1 0 118057 78 0 0 19 0 10 0 837196763 856444928 28267 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 28267 13086 16 0 209077 0
vsize: 836372
[startup+1300.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1686
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18040 0 1 0 118961 78 0 0 23 0 10 0 837196763 856444928 28318 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 28318 13086 16 0 209077 0
vsize: 836372
[startup+1310.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1686
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18040 0 1 0 119862 78 0 0 22 0 10 0 837196763 856444928 28355 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 28355 13086 16 0 209077 0
vsize: 836372
[startup+1320.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1686
Raw data (stat): 1613 (java) R 1612 20687 20686 0 -1 0 18040 0 1 0 120766 79 0 0 19 0 10 0 837196763 856444928 28375 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209093 28375 13086 16 0 209077 0
vsize: 836372
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.25 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1688
Raw data (stat): 1613 (java) Z 1612 20687 20686 0 -1 1036 18040 16140 1 0 120771 79 11895 67 21 0 1 0 837196763 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): 1320.25
CPU time (s): 1328.13
CPU user time (s): 1326.66
CPU system time (s): 1.47178
CPU usage (%): 100.597
Max. virtual memory (Kb): 843984
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####