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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gesa2.opb
MD5SUM	837e3a0cb21dfdb0a0a99b7f963c12dc
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	9432
Biggest coefficient in the objective function	409031671808
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	179181298104960
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	409031671808
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	179181298104960
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.12398
Number of variables	13368
Total number of constraints	1872
Number of constraints which are clauses	48
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1824
Minimum length of a constraint	2
Maximum length of a constraint	209
Trace number 30025

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-25 13:55:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21427 boxname=wulflinc29 idbench=1415 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  837e3a0cb21dfdb0a0a99b7f963c12dc  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-gesa2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-gesa2.opb
IDLAUNCH: 21427
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        622360 kB
Buffers:         34312 kB
Cached:         352240 kB
SwapCached:        572 kB
Active:          59472 kB
Inactive:       332616 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        622108 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            14444 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:16:41 (client local time) WITH STATUS 143 IN 1265.63 SECONDS
stats: 21427 7 1265.63 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/wulflinc29/normalized-mps-v2-13-7-gesa2.opb
c reading problem ... done. Time 57.132 ms.
c #vars     13368
c #constraints  1872
c starts	: 10
c conflicts	: 8961
c decisions	: 25107
c propagations	: 81561
c inspects	: 4984504
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 8961
c root simplifications	: 61
s UNKNOWN
c Total CPU time (ms) : 1249.112
#### 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.85 0.97 0.99 2/54 1541
Raw data (stat): 1541 (runsolver) R 1540 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839400374 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.87 0.97 0.99 2/63 1550
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18017 0 1 0 873 41 0 0 25 0 10 0 839400374 853422080 19419 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208355 19419 13086 16 0 208339 0
vsize: 833420
[startup+20.0017 s]
Raw data (loadavg): 0.89 0.97 0.99 2/63 1550
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18018 0 1 0 1767 41 0 0 25 0 10 0 839400374 855793664 20507 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208934 20507 13086 16 0 208918 0
vsize: 835736
[startup+30.0018 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 1550
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18018 0 1 0 2654 42 0 0 25 0 10 0 839400374 855793664 21056 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208934 21056 13086 16 0 208918 0
vsize: 835736
[startup+40.0016 s]
Raw data (loadavg): 0.92 0.97 0.99 2/63 1550
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18028 0 1 0 3526 43 0 0 25 0 10 0 839400374 855740416 21417 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208921 21417 13086 16 0 208905 0
vsize: 835684
[startup+50.0029 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 1550
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18028 0 1 0 4410 43 0 0 25 0 10 0 839400374 854917120 21376 4294967295 134512640 134569956 3221224368 3221214800 1131276870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208720 21376 13086 16 0 208704 0
vsize: 834880
[startup+60.0032 s]
Raw data (loadavg): 0.94 0.97 0.99 4/64 1551
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18070 0 1 0 5294 44 0 0 25 0 11 0 839400374 858767360 22663 4294967295 134512640 134569956 3221224368 3221214600 1130912065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209660 22663 13086 16 0 209644 0
vsize: 838640
[startup+70.0039 s]
Raw data (loadavg): 1.10 1.00 1.00 2/64 1551
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18080 0 1 0 6135 44 0 0 25 0 11 0 839400374 862371840 23916 4294967295 134512640 134569956 3221224368 3221214608 1131349620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210540 23916 13086 16 0 210524 0
vsize: 842160
[startup+80.0045 s]
Raw data (loadavg): 1.08 1.00 1.00 2/64 1551
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18081 0 1 0 7028 44 0 0 25 0 11 0 839400374 860303360 23677 4294967295 134512640 134569956 3221224368 3221214920 1130863193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 23677 13086 16 0 210019 0
vsize: 840140
[startup+90.0051 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 1551
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18081 0 1 0 7935 45 0 0 25 0 11 0 839400374 860303360 24506 4294967295 134512640 134569956 3221224368 3221214436 1130883302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 24506 13086 16 0 210019 0
vsize: 840140
[startup+100.005 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 1551
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18082 0 1 0 8895 45 0 0 25 0 11 0 839400374 860303360 24514 4294967295 134512640 134569956 3221224368 3221214496 1131252970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 24514 13086 16 0 210019 0
vsize: 840140
[startup+110.006 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 1551
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 9840 46 0 0 25 0 11 0 839400374 860303360 24627 4294967295 134512640 134569956 3221224368 3221214504 1131430095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 24627 13086 16 0 210019 0
vsize: 840140
[startup+120.007 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 1551
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 10766 46 0 0 25 0 11 0 839400374 860303360 24946 4294967295 134512640 134569956 3221224368 3221214528 1131271491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 24946 13086 16 0 210019 0
vsize: 840140
[startup+130.007 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 1551
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 11685 46 0 0 25 0 11 0 839400374 860303360 25384 4294967295 134512640 134569956 3221224368 3221214496 1131252986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 25384 13086 16 0 210019 0
vsize: 840140
[startup+140.007 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 1551
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 12629 46 0 0 25 0 11 0 839400374 860303360 25587 4294967295 134512640 134569956 3221224368 3221214344 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 25587 13086 16 0 210019 0
vsize: 840140
[startup+150.007 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 1551
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 13587 46 0 0 25 0 11 0 839400374 860303360 25815 4294967295 134512640 134569956 3221224368 3221214152 1131662193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 25815 13086 16 0 210019 0
vsize: 840140
[startup+160.007 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 1551
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 14537 46 0 0 25 0 11 0 839400374 860303360 26010 4294967295 134512640 134569956 3221224368 3221213820 1131662219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 26010 13086 16 0 210019 0
vsize: 840140
[startup+170.007 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 1551
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 15497 46 0 0 25 0 11 0 839400374 860303360 26111 4294967295 134512640 134569956 3221224368 3221214152 1131662225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 26111 13086 16 0 210019 0
vsize: 840140
[startup+180.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1551
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 16446 46 0 0 25 0 11 0 839400374 860303360 26292 4294967295 134512640 134569956 3221224368 3221214496 1131252833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 26292 13086 16 0 210019 0
vsize: 840140
[startup+190.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1551
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 17406 46 0 0 25 0 11 0 839400374 860303360 26452 4294967295 134512640 134569956 3221224368 3221214648 1131517013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 26452 13086 16 0 210019 0
vsize: 840140
[startup+200.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1551
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 18355 47 0 0 25 0 11 0 839400374 860303360 26620 4294967295 134512640 134569956 3221224368 3221214064 1085679372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 26620 13086 16 0 210019 0
vsize: 840140
[startup+210.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1551
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 19313 47 0 0 25 0 11 0 839400374 860303360 26731 4294967295 134512640 134569956 3221224368 3221214592 1131349350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 26731 13086 16 0 210019 0
vsize: 840140
[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1551
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 20272 47 0 0 25 0 11 0 839400374 860303360 26900 4294967295 134512640 134569956 3221224368 3221213764 1131662224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 26900 13086 16 0 210019 0
vsize: 840140
[startup+230.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1551
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 21220 47 0 0 24 0 11 0 839400374 860303360 27067 4294967295 134512640 134569956 3221224368 3221214496 1131252721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 27067 13086 16 0 210019 0
vsize: 840140
[startup+240.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1551
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 22178 47 0 0 25 0 11 0 839400374 860303360 27208 4294967295 134512640 134569956 3221224368 3221214184 1131664664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 27208 13086 16 0 210019 0
vsize: 840140
[startup+250.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1551
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 23146 47 0 0 25 0 11 0 839400374 860303360 27312 4294967295 134512640 134569956 3221224368 3221214496 1131254037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 27312 13086 16 0 210019 0
vsize: 840140
[startup+260.009 s]
Raw data (loadavg): 1.16 1.03 1.01 2/64 1605
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 24101 48 0 0 25 0 11 0 839400374 860303360 27458 4294967295 134512640 134569956 3221224368 3221213932 1131662224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 27458 13086 16 0 210019 0
vsize: 840140
[startup+270.009 s]
Raw data (loadavg): 1.14 1.03 1.01 2/64 1605
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 25060 48 0 0 25 0 11 0 839400374 860303360 27595 4294967295 134512640 134569956 3221224368 3221213760 1131662289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 27595 13086 16 0 210019 0
vsize: 840140
[startup+280.023 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 1605
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 26021 48 0 0 25 0 11 0 839400374 860303360 27729 4294967295 134512640 134569956 3221224368 3221214032 1131667565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 27729 13086 16 0 210019 0
vsize: 840140
[startup+290.026 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 1605
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 26980 48 0 0 25 0 11 0 839400374 860303360 27840 4294967295 134512640 134569956 3221224368 3221214296 1131664676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 27840 13086 16 0 210019 0
vsize: 840140
[startup+300.026 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 1605
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 27938 48 0 0 25 0 11 0 839400374 860303360 27978 4294967295 134512640 134569956 3221224368 3221214528 1131271697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 27978 13086 16 0 210019 0
vsize: 840140
[startup+310.027 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 1605
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 28897 48 0 0 25 0 11 0 839400374 860303360 28085 4294967295 134512640 134569956 3221224368 3221214060 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 28085 13086 16 0 210019 0
vsize: 840140
[startup+320.027 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 1605
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 29856 48 0 0 24 0 11 0 839400374 860303360 28238 4294967295 134512640 134569956 3221224368 3221214496 1131252970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 28238 13086 16 0 210019 0
vsize: 840140
[startup+330.027 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 30824 49 0 0 25 0 11 0 839400374 860303360 28300 4294967295 134512640 134569956 3221224368 3221213936 1131662204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 28300 13086 16 0 210019 0
vsize: 840140
[startup+340.028 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 31783 49 0 0 25 0 11 0 839400374 860303360 28394 4294967295 134512640 134569956 3221224368 3221214496 1131253483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 28394 13086 16 0 210019 0
vsize: 840140
[startup+350.027 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 32740 49 0 0 25 0 11 0 839400374 860303360 28520 4294967295 134512640 134569956 3221224368 3221213824 1131662193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 28520 13086 16 0 210019 0
vsize: 840140
[startup+360.028 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 33707 49 0 0 25 0 11 0 839400374 860303360 28613 4294967295 134512640 134569956 3221224368 3221214144 1131667625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 28613 13086 16 0 210019 0
vsize: 840140
[startup+370.028 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 34664 49 0 0 25 0 11 0 839400374 860303360 28768 4294967295 134512640 134569956 3221224368 3221213556 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 28768 13086 16 0 210019 0
vsize: 840140
[startup+380.028 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 35632 49 0 0 25 0 11 0 839400374 860303360 28851 4294967295 134512640 134569956 3221224368 3221214592 1131349681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 28851 13086 16 0 210019 0
vsize: 840140
[startup+390.031 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1607
Raw data (stat): 1541 (java) S 1540 20001 20000 0 -1 0 18083 0 1 0 36598 49 0 0 25 0 11 0 839400374 860303360 28944 4294967295 134512640 134569956 3221224368 3221213336 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 28944 13086 16 0 210019 0
vsize: 840140
[startup+400.032 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 37558 49 0 0 25 0 11 0 839400374 860303360 29065 4294967295 134512640 134569956 3221224368 3221214064 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 29065 13086 16 0 210019 0
vsize: 840140
[startup+410.033 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 38517 49 0 0 25 0 11 0 839400374 860303360 29170 4294967295 134512640 134569956 3221224368 3221213876 1131662168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 29170 13086 16 0 210019 0
vsize: 840140
[startup+420.033 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 39485 49 0 0 25 0 11 0 839400374 860303360 29255 4294967295 134512640 134569956 3221224368 3221214416 1131667784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 29255 13086 16 0 210019 0
vsize: 840140
[startup+430.033 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 40453 49 0 0 25 0 11 0 839400374 860303360 29370 4294967295 134512640 134569956 3221224368 3221214648 1131512133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 29370 13086 16 0 210019 0
vsize: 840140
[startup+440.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 41410 49 0 0 25 0 11 0 839400374 860303360 29463 4294967295 134512640 134569956 3221224368 3221214496 1131252793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 29463 13086 16 0 210019 0
vsize: 840140
[startup+450.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 42378 49 0 0 25 0 11 0 839400374 860303360 29561 4294967295 134512640 134569956 3221224368 3221214496 1131252970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 29561 13086 16 0 210019 0
vsize: 840140
[startup+460.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 43345 50 0 0 25 0 11 0 839400374 860303360 29623 4294967295 134512640 134569956 3221224368 3221214400 1085632284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 29623 13086 16 0 210019 0
vsize: 840140
[startup+470.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 44313 50 0 0 25 0 11 0 839400374 860303360 29730 4294967295 134512640 134569956 3221224368 3221214592 1131349348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 29730 13086 16 0 210019 0
vsize: 840140
[startup+480.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 45282 50 0 0 25 0 11 0 839400374 860303360 29823 4294967295 134512640 134569956 3221224368 3221213368 1131667562 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 29823 13086 16 0 210019 0
vsize: 840140
[startup+490.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 46250 50 0 0 25 0 11 0 839400374 860303360 29901 4294967295 134512640 134569956 3221224368 3221214648 1131514023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 29901 13086 16 0 210019 0
vsize: 840140
[startup+500.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 47218 50 0 0 25 0 11 0 839400374 860303360 29979 4294967295 134512640 134569956 3221224368 3221214092 1131662224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 29979 13086 16 0 210019 0
vsize: 840140
[startup+510.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 48185 51 0 0 25 0 11 0 839400374 860303360 30059 4294967295 134512640 134569956 3221224368 3221214088 1131667784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 30059 13086 16 0 210019 0
vsize: 840140
[startup+520.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 49163 51 0 0 25 0 11 0 839400374 860303360 30144 4294967295 134512640 134569956 3221224368 3221214364 1131667785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 30144 13086 16 0 210019 0
vsize: 840140
[startup+530.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 50128 51 0 0 25 0 11 0 839400374 860303360 30256 4294967295 134512640 134569956 3221224368 3221214592 1131349488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 30256 13086 16 0 210019 0
vsize: 840140
[startup+540.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 51095 51 0 0 25 0 11 0 839400374 860303360 30336 4294967295 134512640 134569956 3221224368 3221214064 1085679738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 30336 13086 16 0 210019 0
vsize: 840140
[startup+550.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 52061 52 0 0 25 0 11 0 839400374 860303360 30448 4294967295 134512640 134569956 3221224368 3221214592 1131349341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 30448 13086 16 0 210019 0
vsize: 840140
[startup+560.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 53039 52 0 0 25 0 11 0 839400374 860303360 30522 4294967295 134512640 134569956 3221224368 3221213536 1131662164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 30522 13086 16 0 210019 0
vsize: 840140
[startup+570.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 54006 52 0 0 25 0 11 0 839400374 860303360 30605 4294967295 134512640 134569956 3221224368 3221214064 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 30605 13086 16 0 210019 0
vsize: 840140
[startup+580.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1607
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 54995 52 0 0 25 0 11 0 839400374 860303360 30635 4294967295 134512640 134569956 3221224368 3221214648 1131511947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 30635 13086 16 0 210019 0
vsize: 840140
[startup+590.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) S 1540 20001 20000 0 -1 0 18083 0 1 0 55954 53 0 0 25 0 11 0 839400374 860303360 30751 4294967295 134512640 134569956 3221224368 3221213336 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 30751 13086 16 0 210019 0
vsize: 840140
[startup+600.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 56939 53 0 0 25 0 11 0 839400374 860303360 30780 4294967295 134512640 134569956 3221224368 3221214144 1131667562 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 30780 13086 16 0 210019 0
vsize: 840140
[startup+610.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 57929 53 0 0 25 0 11 0 839400374 860303360 30780 4294967295 134512640 134569956 3221224368 3221214648 1131512165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 30780 13086 16 0 210019 0
vsize: 840140
[startup+620.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 58898 53 0 0 25 0 11 0 839400374 860303360 30811 4294967295 134512640 134569956 3221224368 3221213704 1131662200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 30811 13086 16 0 210019 0
vsize: 840140
[startup+630.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 59877 54 0 0 25 0 11 0 839400374 860303360 30874 4294967295 134512640 134569956 3221224368 3221214480 1131667772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 30874 13086 16 0 210019 0
vsize: 840140
[startup+640.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 60838 54 0 0 25 0 11 0 839400374 860303360 31009 4294967295 134512640 134569956 3221224368 3221213624 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 31009 13086 16 0 210019 0
vsize: 840140
[startup+650.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 61801 55 0 0 25 0 11 0 839400374 860303360 31155 4294967295 134512640 134569956 3221224368 3221214352 1131664666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 31155 13086 16 0 210019 0
vsize: 840140
[startup+660.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 62768 55 0 0 25 0 11 0 839400374 860303360 31278 4294967295 134512640 134569956 3221224368 3221213928 1131667772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 31278 13086 16 0 210019 0
vsize: 840140
[startup+670.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) S 1540 20001 20000 0 -1 0 18083 0 1 0 63736 55 0 0 25 0 11 0 839400374 860303360 31403 4294967295 134512640 134569956 3221224368 3221213200 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 31403 13086 16 0 210019 0
vsize: 840140
[startup+680.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 64709 56 0 0 25 0 11 0 839400374 860303360 31522 4294967295 134512640 134569956 3221224368 3221213920 1131667784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 31522 13086 16 0 210019 0
vsize: 840140
[startup+690.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 65682 56 0 0 25 0 11 0 839400374 860303360 31588 4294967295 134512640 134569956 3221224368 3221214032 1131667778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 31588 13086 16 0 210019 0
vsize: 840140
[startup+700.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 66675 57 0 0 25 0 11 0 839400374 860303360 31605 4294967295 134512640 134569956 3221224368 3221214120 1085679356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 31605 13086 16 0 210019 0
vsize: 840140
[startup+710.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 67668 57 0 0 25 0 11 0 839400374 860303360 31614 4294967295 134512640 134569956 3221224368 3221214424 1131667625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 31614 13086 16 0 210019 0
vsize: 840140
[startup+720.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 68648 57 0 0 25 0 11 0 839400374 860303360 31648 4294967295 134512640 134569956 3221224368 3221214648 1131512110 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 31648 13086 16 0 210019 0
vsize: 840140
[startup+730.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 69628 58 0 0 25 0 11 0 839400374 860303360 31665 4294967295 134512640 134569956 3221224368 3221213792 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 31665 13086 16 0 210019 0
vsize: 840140
[startup+740.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 70599 58 0 0 25 0 11 0 839400374 860303360 31720 4294967295 134512640 134569956 3221224368 3221214496 1131254037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 31720 13086 16 0 210019 0
vsize: 840140
[startup+750.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 71578 58 0 0 25 0 11 0 839400374 860303360 31763 4294967295 134512640 134569956 3221224368 3221214516 1131667532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 31763 13086 16 0 210019 0
vsize: 840140
[startup+760.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 72548 58 0 0 25 0 11 0 839400374 860303360 31827 4294967295 134512640 134569956 3221224368 3221214344 1085679331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 31827 13086 16 0 210019 0
vsize: 840140
[startup+770.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 73520 59 0 0 25 0 11 0 839400374 860303360 31886 4294967295 134512640 134569956 3221224368 3221214496 1131252833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 31886 13086 16 0 210019 0
vsize: 840140
[startup+780.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 74490 59 0 0 25 0 11 0 839400374 860303360 31951 4294967295 134512640 134569956 3221224368 3221214040 1131662289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 31951 13086 16 0 210019 0
vsize: 840140
[startup+790.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 75462 59 0 0 25 0 11 0 839400374 860303360 32018 4294967295 134512640 134569956 3221224368 3221214060 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 32018 13086 16 0 210019 0
vsize: 840140
[startup+800.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 76433 59 0 0 25 0 11 0 839400374 860303360 32050 4294967295 134512640 134569956 3221224368 3221214496 1131253045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 32050 13086 16 0 210019 0
vsize: 840140
[startup+810.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 77403 59 0 0 25 0 11 0 839400374 860303360 32147 4294967295 134512640 134569956 3221224368 3221213984 1131667571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 32147 13086 16 0 210019 0
vsize: 840140
[startup+820.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 78381 60 0 0 25 0 11 0 839400374 860303360 32211 4294967295 134512640 134569956 3221224368 3221214648 1131513272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 32211 13086 16 0 210019 0
vsize: 840140
[startup+830.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 79352 60 0 0 25 0 11 0 839400374 860303360 32291 4294967295 134512640 134569956 3221224368 3221214592 1131349675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 32291 13086 16 0 210019 0
vsize: 840140
[startup+840.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 80323 60 0 0 25 0 11 0 839400374 860303360 32363 4294967295 134512640 134569956 3221224368 3221214368 1131667817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 32363 13086 16 0 210019 0
vsize: 840140
[startup+850.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 81294 61 0 0 25 0 11 0 839400374 860303360 32429 4294967295 134512640 134569956 3221224368 3221214648 1131518090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 32429 13086 16 0 210019 0
vsize: 840140
[startup+860.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 82266 61 0 0 25 0 11 0 839400374 860303360 32486 4294967295 134512640 134569956 3221224368 3221213872 1131667759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 32486 13086 16 0 210019 0
vsize: 840140
[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 83238 61 0 0 25 0 11 0 839400374 860303360 32547 4294967295 134512640 134569956 3221224368 3221213952 1085679482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 32547 13086 16 0 210019 0
vsize: 840140
[startup+880.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 84217 61 0 0 25 0 11 0 839400374 860303360 32591 4294967295 134512640 134569956 3221224368 3221213592 1131667616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 32591 13086 16 0 210019 0
vsize: 840140
[startup+890.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 85217 61 0 0 25 0 11 0 839400374 860303360 32591 4294967295 134512640 134569956 3221224368 3221213288 1085632301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 32591 13086 16 0 210019 0
vsize: 840140
[startup+900.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 86217 61 0 0 25 0 11 0 839400374 860303360 32591 4294967295 134512640 134569956 3221224368 3221213744 1131659598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 32591 13086 16 0 210019 0
vsize: 840140
[startup+910.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 87201 62 0 0 25 0 11 0 839400374 860303360 32619 4294967295 134512640 134569956 3221224368 3221213840 1085632301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 32619 13086 16 0 210019 0
vsize: 840140
[startup+920.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 88175 62 0 0 25 0 11 0 839400374 860303360 32702 4294967295 134512640 134569956 3221224368 3221214416 1131667778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 32702 13086 16 0 210019 0
vsize: 840140
[startup+930.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 89150 63 0 0 25 0 11 0 839400374 860303360 32762 4294967295 134512640 134569956 3221224368 3221214264 1131662263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 32762 13086 16 0 210019 0
vsize: 840140
[startup+940.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 90134 63 0 0 25 0 11 0 839400374 860303360 32791 4294967295 134512640 134569956 3221224368 3221214592 1131349708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 32791 13086 16 0 210019 0
vsize: 840140
[startup+950.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 91103 63 0 0 25 0 11 0 839400374 860303360 32862 4294967295 134512640 134569956 3221224368 3221214552 1131270952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 32862 13086 16 0 210019 0
vsize: 840140
[startup+960.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 92079 64 0 0 25 0 11 0 839400374 860303360 32906 4294967295 134512640 134569956 3221224368 3221214504 1131245553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 32906 13086 16 0 210019 0
vsize: 840140
[startup+970.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 93048 64 0 0 25 0 11 0 839400374 860303360 32977 4294967295 134512640 134569956 3221224368 3221214472 1131667775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 32977 13086 16 0 210019 0
vsize: 840140
[startup+980.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 94025 64 0 0 25 0 11 0 839400374 860303360 33020 4294967295 134512640 134569956 3221224368 3221214360 1131667784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 33020 13086 16 0 210019 0
vsize: 840140
[startup+990.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 94994 64 0 0 25 0 11 0 839400374 860303360 33082 4294967295 134512640 134569956 3221224368 3221214496 1131252776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 33082 13086 16 0 210019 0
vsize: 840140
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 95970 64 0 0 25 0 11 0 839400374 860303360 33128 4294967295 134512640 134569956 3221224368 3221214592 1131349743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 33128 13086 16 0 210019 0
vsize: 840140
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 96939 65 0 0 25 0 11 0 839400374 860303360 33201 4294967295 134512640 134569956 3221224368 3221214200 1131667616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 33201 13086 16 0 210019 0
vsize: 840140
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 97916 65 0 0 25 0 11 0 839400374 860303360 33263 4294967295 134512640 134569956 3221224368 3221214176 1085679508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 33263 13086 16 0 210019 0
vsize: 840140
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 98886 65 0 0 25 0 11 0 839400374 860303360 33356 4294967295 134512640 134569956 3221224368 3221213568 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 33356 13086 16 0 210019 0
vsize: 840140
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 99865 66 0 0 25 0 11 0 839400374 860303360 33400 4294967295 134512640 134569956 3221224368 3221213912 1131667784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 33400 13086 16 0 210019 0
vsize: 840140
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 100843 66 0 0 25 0 11 0 839400374 860303360 33453 4294967295 134512640 134569956 3221224368 3221214424 1131667625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 33453 13086 16 0 210019 0
vsize: 840140
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 101822 66 0 0 25 0 11 0 839400374 860303360 33505 4294967295 134512640 134569956 3221224368 3221214632 1131387892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 33505 13086 16 0 210019 0
vsize: 840140
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 102793 67 0 0 25 0 11 0 839400374 860303360 33564 4294967295 134512640 134569956 3221224368 3221214616 1131216195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 33564 13086 16 0 210019 0
vsize: 840140
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 103777 67 0 0 25 0 11 0 839400374 860303360 33596 4294967295 134512640 134569956 3221224368 3221214496 1131252833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 33596 13086 16 0 210019 0
vsize: 840140
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 104755 67 0 0 25 0 11 0 839400374 860303360 33639 4294967295 134512640 134569956 3221224368 3221213728 1085679318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 33639 13086 16 0 210019 0
vsize: 840140
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 105732 68 0 0 25 0 11 0 839400374 860303360 33684 4294967295 134512640 134569956 3221224368 3221214472 1131663701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 33684 13086 16 0 210019 0
vsize: 840140
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 106708 68 0 0 25 0 11 0 839400374 860303360 33730 4294967295 134512640 134569956 3221224368 3221213672 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 33730 13086 16 0 210019 0
vsize: 840140
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 107684 68 0 0 25 0 11 0 839400374 860303360 33775 4294967295 134512640 134569956 3221224368 3221214424 1131667751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 33775 13086 16 0 210019 0
vsize: 840140
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 108660 68 0 0 24 0 11 0 839400374 860303360 33819 4294967295 134512640 134569956 3221224368 3221213860 1131667748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 33819 13086 16 0 210019 0
vsize: 840140
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 109635 68 0 0 25 0 11 0 839400374 860303360 33865 4294967295 134512640 134569956 3221224368 3221213944 1085679261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 33865 13086 16 0 210019 0
vsize: 840140
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 110634 69 0 0 25 0 11 0 839400374 860303360 33865 4294967295 134512640 134569956 3221224368 3221214424 1131667751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 33865 13086 16 0 210019 0
vsize: 840140
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 111634 69 0 0 25 0 11 0 839400374 860303360 33865 4294967295 134512640 134569956 3221224368 3221214376 1131662231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 33865 13086 16 0 210019 0
vsize: 840140
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 112634 69 0 0 25 0 11 0 839400374 860303360 33865 4294967295 134512640 134569956 3221224368 3221214028 1131667785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 33865 13086 16 0 210019 0
vsize: 840140
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 113615 69 0 0 25 0 11 0 839400374 860303360 33898 4294967295 134512640 134569956 3221224368 3221214480 1131667625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 33898 13086 16 0 210019 0
vsize: 840140
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 114589 70 0 0 25 0 11 0 839400374 860303360 33956 4294967295 134512640 134569956 3221224368 3221213520 1131667784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 33956 13086 16 0 210019 0
vsize: 840140
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 115554 70 0 0 25 0 11 0 839400374 860303360 34027 4294967295 134512640 134569956 3221224368 3221213792 1085679313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 34027 13086 16 0 210019 0
vsize: 840140
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 116528 70 0 0 25 0 11 0 839400374 860303360 34077 4294967295 134512640 134569956 3221224368 3221214192 1131667778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 34077 13086 16 0 210019 0
vsize: 840140
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 117502 70 0 0 25 0 11 0 839400374 860303360 34114 4294967295 134512640 134569956 3221224368 3221214040 1131662225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 34114 13086 16 0 210019 0
vsize: 840140
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 118475 70 0 0 25 0 11 0 839400374 860303360 34184 4294967295 134512640 134569956 3221224368 3221213880 1131662285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 34184 13086 16 0 210019 0
vsize: 840140
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) R 1540 20001 20000 0 -1 0 18083 0 1 0 119449 71 0 0 25 0 11 0 839400374 860303360 34240 4294967295 134512640 134569956 3221224368 3221213680 1085679358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210035 34240 13086 16 0 210019 0
vsize: 840140
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1609
Raw data (stat): 1541 (java) S 1540 20001 20000 0 -1 0 18083 0 1 0 120416 71 0 0 25 0 11 0 839400374 860303360 34294 4294967295 134512640 134569956 3221224368 3221213336 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 34294 13086 16 0 210019 0
vsize: 840140
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.2 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1611
Raw data (stat): 1541 (java) Z 1540 20001 20000 0 -1 1036 18083 24377 1 0 120421 77 6004 58 25 0 1 0 839400374 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): 1250.2
CPU time (s): 1265.63
CPU user time (s): 1264.26
CPU system time (s): 1.36379
CPU usage (%): 101.234
Max. virtual memory (Kb): 842160
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####