PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb
MD5SUM	827023c27ed4657a4077da2b27355df8
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	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	83886080000000
Number of bits of the biggest number in a constraint	47
Biggest sum of numbers in a constraint	508832629179091
Number of bits of the biggest sum of numbers	49
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.72089
Number of variables	11503
Total number of constraints	10724
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	10588
Number of constraints which are nor clauses,nor cardinality constraints	136
Minimum length of a constraint	1
Maximum length of a constraint	9784
Trace number 29754

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        795244 kB
Buffers:         32920 kB
Cached:         186176 kB
SwapCached:          0 kB
Active:          76220 kB
Inactive:       145508 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        794992 kB
SwapTotal:     2097136 kB
SwapFree:      2096800 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6576 kB
Slab:            11952 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 11:36:41 (client local time) WITH STATUS 143 IN 1218.66 SECONDS
stats: 21164 7 1218.66 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/wulflinc3/normalized-mps-v2-20-10-blp-ic97.opb
c reading problem ... done. Time 53.566 ms.
c #vars     11503
c #constraints  1059
c starts	: 1
c conflicts	: 1
c decisions	: 30
c propagations	: 2481
c inspects	: 6105
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
s UNKNOWN
c Total CPU time (ms) : 1219.118
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.01 1.00 1.00 2/54 32716
Raw data (stat): 32716 (runsolver) R 32715 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780218951 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): 1.00 1.00 1.00 2/63 32725
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18019 0 1 0 882 40 0 0 25 0 10 0 780218951 853762048 19363 4294967295 134512640 134569956 3221224368 3221214664 1131205709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208438 19363 13086 16 0 208422 0
vsize: 833752
[startup+20.0071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32725
Raw data (stat): 32716 (java) S 32715 20224 20223 0 -1 0 18021 0 1 0 1791 41 0 0 25 0 10 0 780218951 853565440 19839 4294967295 134512640 134569956 3221224368 3221213304 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 19841 13086 16 0 208374 0
vsize: 833560
[startup+30.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32725
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18021 0 1 0 2693 41 0 0 25 0 10 0 780218951 853565440 20384 4294967295 134512640 134569956 3221224368 3221214832 1080203665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 20384 13086 16 0 208374 0
vsize: 833560
[startup+40.0073 s]
Raw data (loadavg): 1.16 1.03 1.01 2/63 32725
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18022 0 1 0 3572 42 0 0 25 0 10 0 780218951 857366528 21539 4294967295 134512640 134569956 3221224368 3221214792 1131237049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209318 21539 13086 16 0 209302 0
vsize: 837272
[startup+50.0086 s]
Raw data (loadavg): 1.14 1.03 1.01 2/63 32725
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18024 0 1 0 4450 45 0 0 25 0 10 0 780218951 856317952 25107 4294967295 134512640 134569956 3221224368 3221214784 1131165390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209062 25107 13086 16 0 209046 0
vsize: 836248
[startup+60.0094 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18051 0 1 0 5314 47 0 0 25 0 11 0 780218951 857575424 26709 4294967295 134512640 134569956 3221224368 3221214536 1131328939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209369 26709 13086 16 0 209353 0
vsize: 837476
[startup+70.0106 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18051 0 1 0 6210 47 0 0 25 0 11 0 780218951 856977408 26569 4294967295 134512640 134569956 3221224368 3221214640 1131416465 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209223 26569 13086 16 0 209207 0
vsize: 836892
[startup+80.0111 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18051 0 1 0 7097 47 0 0 25 0 11 0 780218951 856977408 26569 4294967295 134512640 134569956 3221224368 3221214536 1131329642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209223 26569 13086 16 0 209207 0
vsize: 836892
[startup+90.0119 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18051 0 1 0 8027 48 0 0 25 0 11 0 780218951 856977408 27427 4294967295 134512640 134569956 3221224368 3221214536 1131329372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209223 27427 13086 16 0 209207 0
vsize: 836892
[startup+100.013 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18051 0 1 0 9022 48 0 0 25 0 11 0 780218951 856977408 27430 4294967295 134512640 134569956 3221224368 3221214536 1131329486 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209223 27430 13086 16 0 209207 0
vsize: 836892
[startup+110.014 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18062 0 1 0 9986 48 0 0 25 0 11 0 780218951 856977408 27451 4294967295 134512640 134569956 3221224368 3221214584 1131248281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27451 13086 16 0 209207 0
vsize: 836892
[startup+120.015 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18062 0 1 0 10978 48 0 0 25 0 11 0 780218951 856977408 27452 4294967295 134512640 134569956 3221224368 3221214456 1131293477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27452 13086 16 0 209207 0
vsize: 836892
[startup+130.016 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18062 0 1 0 11968 49 0 0 25 0 11 0 780218951 856977408 27453 4294967295 134512640 134569956 3221224368 3221214456 1131293335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209223 27453 13086 16 0 209207 0
vsize: 836892
[startup+140.016 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18063 0 1 0 12959 49 0 0 25 0 11 0 780218951 856977408 27455 4294967295 134512640 134569956 3221224368 3221214480 1131447232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27455 13086 16 0 209207 0
vsize: 836892
[startup+150.017 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18063 0 1 0 13952 49 0 0 25 0 11 0 780218951 857075712 27485 4294967295 134512640 134569956 3221224368 3221214456 1131293018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209247 27485 13086 16 0 209231 0
vsize: 836988
[startup+160.018 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18063 0 1 0 14944 49 0 0 25 0 11 0 780218951 857075712 27486 4294967295 134512640 134569956 3221224368 3221214560 1131405305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209247 27486 13086 16 0 209231 0
vsize: 836988
[startup+170.019 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18063 0 1 0 15937 49 0 0 25 0 11 0 780218951 857075712 27487 4294967295 134512640 134569956 3221224368 3221214608 1131456638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209247 27487 13086 16 0 209231 0
vsize: 836988
[startup+180.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18063 0 1 0 16931 49 0 0 25 0 11 0 780218951 857042944 27480 4294967295 134512640 134569956 3221224368 3221214608 1131456962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209239 27480 13086 16 0 209223 0
vsize: 836956
[startup+190.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 17925 49 0 0 25 0 11 0 780218951 857042944 27614 4294967295 134512640 134569956 3221224368 3221214608 1131456698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209239 27614 13086 16 0 209223 0
vsize: 836956
[startup+200.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 18924 49 0 0 25 0 11 0 780218951 857042944 27614 4294967295 134512640 134569956 3221224368 3221214584 1131248276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209239 27614 13086 16 0 209223 0
vsize: 836956
[startup+210.021 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 19923 49 0 0 25 0 11 0 780218951 857042944 27617 4294967295 134512640 134569956 3221224368 3221214608 1131456454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209239 27617 13086 16 0 209223 0
vsize: 836956
[startup+220.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 20922 49 0 0 25 0 11 0 780218951 857042944 27617 4294967295 134512640 134569956 3221224368 3221214584 1131248276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209239 27617 13086 16 0 209223 0
vsize: 836956
[startup+230.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 21921 49 0 0 25 0 11 0 780218951 857042944 27617 4294967295 134512640 134569956 3221224368 3221214608 1131456613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209239 27617 13086 16 0 209223 0
vsize: 836956
[startup+240.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 22920 49 0 0 25 0 11 0 780218951 856977408 27601 4294967295 134512640 134569956 3221224368 3221214608 1131456962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209223 27601 13086 16 0 209207 0
vsize: 836892
[startup+250.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 23919 49 0 0 25 0 11 0 780218951 856977408 27601 4294967295 134512640 134569956 3221224368 3221214480 1131447275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27601 13086 16 0 209207 0
vsize: 836892
[startup+260.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 24919 49 0 0 25 0 11 0 780218951 856977408 27601 4294967295 134512640 134569956 3221224368 3221214608 1131456586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209223 27601 13086 16 0 209207 0
vsize: 836892
[startup+270.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 25910 49 0 0 24 0 11 0 780218951 856977408 27605 4294967295 134512640 134569956 3221224368 3221214480 1131292853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27605 13086 16 0 209207 0
vsize: 836892
[startup+280.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 26898 49 0 0 25 0 11 0 780218951 856977408 27608 4294967295 134512640 134569956 3221224368 3221214480 1131447280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27608 13086 16 0 209207 0
vsize: 836892
[startup+290.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 27888 49 0 0 25 0 11 0 780218951 856977408 27609 4294967295 134512640 134569956 3221224368 3221214480 1131449580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27609 13086 16 0 209207 0
vsize: 836892
[startup+300.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 28878 49 0 0 25 0 11 0 780218951 856977408 27609 4294967295 134512640 134569956 3221224368 3221214576 1131456590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27609 13086 16 0 209207 0
vsize: 836892
[startup+310.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 29869 49 0 0 25 0 11 0 780218951 856977408 27609 4294967295 134512640 134569956 3221224368 3221214576 1131456324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27609 13086 16 0 209207 0
vsize: 836892
[startup+320.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 30859 50 0 0 25 0 11 0 780218951 856977408 27609 4294967295 134512640 134569956 3221224368 3221214576 1131456454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27609 13086 16 0 209207 0
vsize: 836892
[startup+330.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 31849 50 0 0 24 0 11 0 780218951 856977408 27609 4294967295 134512640 134569956 3221224368 3221214480 1131293310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27609 13086 16 0 209207 0
vsize: 836892
[startup+340.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 32842 50 0 0 25 0 11 0 780218951 856977408 27609 4294967295 134512640 134569956 3221224368 3221214552 1131248281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27609 13086 16 0 209207 0
vsize: 836892
[startup+350.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 33836 50 0 0 25 0 11 0 780218951 856977408 27782 4294967295 134512640 134569956 3221224368 3221214576 1131456627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27782 13086 16 0 209207 0
vsize: 836892
[startup+360.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 34835 50 0 0 25 0 11 0 780218951 856977408 27782 4294967295 134512640 134569956 3221224368 3221214576 1131456962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27782 13086 16 0 209207 0
vsize: 836892
[startup+370.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 35835 50 0 0 25 0 11 0 780218951 856977408 27782 4294967295 134512640 134569956 3221224368 3221214576 1131456962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27782 13086 16 0 209207 0
vsize: 836892
[startup+380.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 36833 50 0 0 25 0 11 0 780218951 856977408 27785 4294967295 134512640 134569956 3221224368 3221214480 1131448824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209223 27785 13086 16 0 209207 0
vsize: 836892
[startup+390.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 37832 50 0 0 25 0 11 0 780218951 856977408 27785 4294967295 134512640 134569956 3221224368 3221214480 1131293132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27785 13086 16 0 209207 0
vsize: 836892
[startup+400.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 38831 50 0 0 25 0 11 0 780218951 856977408 27785 4294967295 134512640 134569956 3221224368 3221214480 1131292957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27785 13086 16 0 209207 0
vsize: 836892
[startup+410.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 39831 50 0 0 25 0 11 0 780218951 856977408 27785 4294967295 134512640 134569956 3221224368 3221214552 1131248304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27785 13086 16 0 209207 0
vsize: 836892
[startup+420.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 40830 51 0 0 25 0 11 0 780218951 856977408 27785 4294967295 134512640 134569956 3221224368 3221214576 1131456330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27785 13086 16 0 209207 0
vsize: 836892
[startup+430.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 41828 51 0 0 25 0 11 0 780218951 856977408 27785 4294967295 134512640 134569956 3221224368 3221214600 1131456993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27785 13086 16 0 209207 0
vsize: 836892
[startup+440.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 42827 51 0 0 25 0 11 0 780218951 856977408 27785 4294967295 134512640 134569956 3221224368 3221214504 1131293232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27785 13086 16 0 209207 0
vsize: 836892
[startup+450.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 43826 51 0 0 25 0 11 0 780218951 856977408 27785 4294967295 134512640 134569956 3221224368 3221214504 1131293157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27785 13086 16 0 209207 0
vsize: 836892
[startup+460.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 44825 51 0 0 25 0 11 0 780218951 856977408 27785 4294967295 134512640 134569956 3221224368 3221214504 1131293018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27785 13086 16 0 209207 0
vsize: 836892
[startup+470.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 45824 51 0 0 25 0 11 0 780218951 856977408 27785 4294967295 134512640 134569956 3221224368 3221214600 1131456454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27785 13086 16 0 209207 0
vsize: 836892
[startup+480.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 46823 51 0 0 25 0 11 0 780218951 856977408 27785 4294967295 134512640 134569956 3221224368 3221214576 1131248276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27785 13086 16 0 209207 0
vsize: 836892
[startup+490.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 47822 51 0 0 25 0 11 0 780218951 856977408 27785 4294967295 134512640 134569956 3221224368 3221214504 1131448663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27785 13086 16 0 209207 0
vsize: 836892
[startup+500.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 48820 51 0 0 25 0 11 0 780218951 856977408 27805 4294967295 134512640 134569956 3221224368 3221214504 1131448830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27805 13086 16 0 209207 0
vsize: 836892
[startup+510.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 49820 51 0 0 25 0 11 0 780218951 856977408 27805 4294967295 134512640 134569956 3221224368 3221214600 1131456418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27805 13086 16 0 209207 0
vsize: 836892
[startup+520.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 50819 51 0 0 25 0 11 0 780218951 856977408 27805 4294967295 134512640 134569956 3221224368 3221214608 1131405287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27805 13086 16 0 209207 0
vsize: 836892
[startup+530.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 51819 51 0 0 25 0 11 0 780218951 856977408 27805 4294967295 134512640 134569956 3221224368 3221214600 1131456962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27805 13086 16 0 209207 0
vsize: 836892
[startup+540.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 52819 51 0 0 25 0 11 0 780218951 856977408 27805 4294967295 134512640 134569956 3221224368 3221214504 1131447915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27805 13086 16 0 209207 0
vsize: 836892
[startup+550.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 53819 51 0 0 25 0 11 0 780218951 856977408 27805 4294967295 134512640 134569956 3221224368 3221214600 1131456962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27805 13086 16 0 209207 0
vsize: 836892
[startup+560.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 54818 51 0 0 25 0 11 0 780218951 856977408 27805 4294967295 134512640 134569956 3221224368 3221214504 1131447998 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209223 27805 13086 16 0 209207 0
vsize: 836892
[startup+570.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 55817 52 0 0 25 0 11 0 780218951 856977408 27805 4294967295 134512640 134569956 3221224368 3221214576 1131248272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27805 13086 16 0 209207 0
vsize: 836892
[startup+580.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 56817 52 0 0 25 0 11 0 780218951 856977408 27805 4294967295 134512640 134569956 3221224368 3221214600 1131456368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27805 13086 16 0 209207 0
vsize: 836892
[startup+590.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 57815 52 0 0 25 0 11 0 780218951 856977408 27805 4294967295 134512640 134569956 3221224368 3221214600 1131456962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209223 27805 13086 16 0 209207 0
vsize: 836892
[startup+600.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 58813 52 0 0 25 0 11 0 780218951 856977408 27805 4294967295 134512640 134569956 3221224368 3221214504 1131448616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27805 13086 16 0 209207 0
vsize: 836892
[startup+610.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 59812 52 0 0 25 0 11 0 780218951 856977408 27805 4294967295 134512640 134569956 3221224368 3221214504 1131447275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27805 13086 16 0 209207 0
vsize: 836892
[startup+620.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 60811 52 0 0 25 0 11 0 780218951 856977408 27805 4294967295 134512640 134569956 3221224368 3221214576 1131248281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27805 13086 16 0 209207 0
vsize: 836892
[startup+630.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 61810 52 0 0 25 0 11 0 780218951 856977408 27805 4294967295 134512640 134569956 3221224368 3221214504 1131293018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27805 13086 16 0 209207 0
vsize: 836892
[startup+640.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 62809 52 0 0 25 0 11 0 780218951 856977408 27805 4294967295 134512640 134569956 3221224368 3221214504 1131293154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27805 13086 16 0 209207 0
vsize: 836892
[startup+650.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 63807 52 0 0 25 0 11 0 780218951 856977408 27805 4294967295 134512640 134569956 3221224368 3221214572 1130885222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27805 13086 16 0 209207 0
vsize: 836892
[startup+660.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 64806 52 0 0 25 0 11 0 780218951 856977408 27824 4294967295 134512640 134569956 3221224368 3221214504 1131447275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27824 13086 16 0 209207 0
vsize: 836892
[startup+670.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 65805 52 0 0 25 0 11 0 780218951 856977408 27824 4294967295 134512640 134569956 3221224368 3221214600 1131456562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27824 13086 16 0 209207 0
vsize: 836892
[startup+680.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 66805 52 0 0 25 0 11 0 780218951 856977408 27824 4294967295 134512640 134569956 3221224368 3221214504 1131293157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27824 13086 16 0 209207 0
vsize: 836892
[startup+690.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 67805 52 0 0 25 0 11 0 780218951 856977408 27824 4294967295 134512640 134569956 3221224368 3221214600 1131456962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27824 13086 16 0 209207 0
vsize: 836892
[startup+700.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 68804 52 0 0 25 0 11 0 780218951 856977408 27824 4294967295 134512640 134569956 3221224368 3221214600 1131456324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209223 27824 13086 16 0 209207 0
vsize: 836892
[startup+710.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 69803 52 0 0 25 0 11 0 780218951 856977408 27824 4294967295 134512640 134569956 3221224368 3221214560 1131412141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27824 13086 16 0 209207 0
vsize: 836892
[startup+720.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 70802 52 0 0 25 0 11 0 780218951 856977408 27824 4294967295 134512640 134569956 3221224368 3221214504 1131447598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27824 13086 16 0 209207 0
vsize: 836892
[startup+730.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 71802 52 0 0 25 0 11 0 780218951 856977408 27824 4294967295 134512640 134569956 3221224368 3221214608 1131405264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27824 13086 16 0 209207 0
vsize: 836892
[startup+740.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 72801 52 0 0 25 0 11 0 780218951 856977408 27824 4294967295 134512640 134569956 3221224368 3221214600 1131456387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27824 13086 16 0 209207 0
vsize: 836892
[startup+750.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 73800 52 0 0 25 0 11 0 780218951 856977408 27824 4294967295 134512640 134569956 3221224368 3221214504 1131448904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27824 13086 16 0 209207 0
vsize: 836892
[startup+760.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 74799 53 0 0 25 0 11 0 780218951 856977408 27824 4294967295 134512640 134569956 3221224368 3221214504 1131448959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27824 13086 16 0 209207 0
vsize: 836892
[startup+770.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 75798 53 0 0 25 0 11 0 780218951 856977408 27824 4294967295 134512640 134569956 3221224368 3221214608 1131405287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209223 27824 13086 16 0 209207 0
vsize: 836892
[startup+780.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 76796 53 0 0 25 0 11 0 780218951 856977408 27824 4294967295 134512640 134569956 3221224368 3221214608 1131405264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27824 13086 16 0 209207 0
vsize: 836892
[startup+790.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 77795 53 0 0 25 0 11 0 780218951 856977408 27824 4294967295 134512640 134569956 3221224368 3221214608 1131405287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27824 13086 16 0 209207 0
vsize: 836892
[startup+800.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 78794 53 0 0 25 0 11 0 780218951 856977408 27824 4294967295 134512640 134569956 3221224368 3221214600 1131456387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27824 13086 16 0 209207 0
vsize: 836892
[startup+810.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 79793 53 0 0 25 0 11 0 780218951 856977408 27824 4294967295 134512640 134569956 3221224368 3221214504 1131293157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27824 13086 16 0 209207 0
vsize: 836892
[startup+820.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 80792 53 0 0 25 0 11 0 780218951 856977408 27844 4294967295 134512640 134569956 3221224368 3221214504 1131447275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209223 27844 13086 16 0 209207 0
vsize: 836892
[startup+830.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 81791 53 0 0 25 0 11 0 780218951 856977408 27844 4294967295 134512640 134569956 3221224368 3221214504 1131447275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27844 13086 16 0 209207 0
vsize: 836892
[startup+840.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 82791 53 0 0 25 0 11 0 780218951 856977408 27844 4294967295 134512640 134569956 3221224368 3221214600 1131456613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27844 13086 16 0 209207 0
vsize: 836892
[startup+850.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 83789 53 0 0 25 0 11 0 780218951 856977408 27844 4294967295 134512640 134569956 3221224368 3221214600 1131456962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209223 27844 13086 16 0 209207 0
vsize: 836892
[startup+860.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 84789 53 0 0 25 0 11 0 780218951 856977408 27844 4294967295 134512640 134569956 3221224368 3221214504 1131447275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27844 13086 16 0 209207 0
vsize: 836892
[startup+870.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 85789 53 0 0 25 0 11 0 780218951 856977408 27844 4294967295 134512640 134569956 3221224368 3221214560 1131412421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209223 27844 13086 16 0 209207 0
vsize: 836892
[startup+880.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 86788 53 0 0 25 0 11 0 780218951 856977408 27844 4294967295 134512640 134569956 3221224368 3221214504 1131447272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27844 13086 16 0 209207 0
vsize: 836892
[startup+890.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 87787 53 0 0 25 0 11 0 780218951 856977408 27844 4294967295 134512640 134569956 3221224368 3221214376 1078032372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209223 27844 13086 16 0 209207 0
vsize: 836892
[startup+900.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 88786 54 0 0 25 0 11 0 780218951 856977408 27844 4294967295 134512640 134569956 3221224368 3221214600 1131456948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27844 13086 16 0 209207 0
vsize: 836892
[startup+910.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 89784 54 0 0 25 0 11 0 780218951 856977408 27844 4294967295 134512640 134569956 3221224368 3221214600 1131456679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209223 27844 13086 16 0 209207 0
vsize: 836892
[startup+920.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 90782 54 0 0 25 0 11 0 780218951 856977408 27844 4294967295 134512640 134569956 3221224368 3221214504 1131293275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27844 13086 16 0 209207 0
vsize: 836892
[startup+930.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 91781 54 0 0 25 0 11 0 780218951 856977408 27844 4294967295 134512640 134569956 3221224368 3221214504 1131447275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27844 13086 16 0 209207 0
vsize: 836892
[startup+940.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 92780 54 0 0 25 0 11 0 780218951 856977408 27844 4294967295 134512640 134569956 3221224368 3221214600 1131456777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27844 13086 16 0 209207 0
vsize: 836892
[startup+950.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 93779 54 0 0 25 0 11 0 780218951 856977408 27844 4294967295 134512640 134569956 3221224368 3221214576 1131248297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27844 13086 16 0 209207 0
vsize: 836892
[startup+960.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 94778 54 0 0 25 0 11 0 780218951 856977408 27844 4294967295 134512640 134569956 3221224368 3221214608 1131405287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27844 13086 16 0 209207 0
vsize: 836892
[startup+970.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 95777 54 0 0 25 0 11 0 780218951 856977408 27844 4294967295 134512640 134569956 3221224368 3221214608 1131405287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27844 13086 16 0 209207 0
vsize: 836892
[startup+980.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 96776 54 0 0 25 0 11 0 780218951 856977408 27864 4294967295 134512640 134569956 3221224368 3221214600 1131456460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27864 13086 16 0 209207 0
vsize: 836892
[startup+990.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 97776 54 0 0 25 0 11 0 780218951 856977408 27864 4294967295 134512640 134569956 3221224368 3221214560 1131412141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27864 13086 16 0 209207 0
vsize: 836892
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 98775 54 0 0 25 0 11 0 780218951 856977408 27864 4294967295 134512640 134569956 3221224368 3221214572 1130885163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27864 13086 16 0 209207 0
vsize: 836892
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 99775 54 0 0 25 0 11 0 780218951 856977408 27864 4294967295 134512640 134569956 3221224368 3221214504 1131447915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27864 13086 16 0 209207 0
vsize: 836892
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 100774 54 0 0 25 0 11 0 780218951 856977408 27864 4294967295 134512640 134569956 3221224368 3221214600 1131456330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27864 13086 16 0 209207 0
vsize: 836892
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 101774 54 0 0 25 0 11 0 780218951 856977408 27864 4294967295 134512640 134569956 3221224368 3221214600 1131456962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27864 13086 16 0 209207 0
vsize: 836892
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 102773 54 0 0 25 0 11 0 780218951 856977408 27864 4294967295 134512640 134569956 3221224368 3221214600 1131456336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27864 13086 16 0 209207 0
vsize: 836892
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 103773 54 0 0 25 0 11 0 780218951 856977408 27864 4294967295 134512640 134569956 3221224368 3221214600 1131456962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27864 13086 16 0 209207 0
vsize: 836892
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 104765 54 0 0 25 0 11 0 780218951 856977408 27864 4294967295 134512640 134569956 3221224368 3221214504 1131292835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27864 13086 16 0 209207 0
vsize: 836892
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 105756 54 0 0 25 0 11 0 780218951 856977408 27864 4294967295 134512640 134569956 3221224368 3221214600 1131456258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27864 13086 16 0 209207 0
vsize: 836892
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 106746 54 0 0 25 0 11 0 780218951 856977408 27864 4294967295 134512640 134569956 3221224368 3221214504 1131447303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27864 13086 16 0 209207 0
vsize: 836892
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 107737 54 0 0 25 0 11 0 780218951 856977408 27864 4294967295 134512640 134569956 3221224368 3221214504 1131293132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27864 13086 16 0 209207 0
vsize: 836892
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 108727 54 0 0 25 0 11 0 780218951 856977408 27864 4294967295 134512640 134569956 3221224368 3221214600 1131456777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27864 13086 16 0 209207 0
vsize: 836892
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 109718 54 0 0 25 0 11 0 780218951 856977408 27864 4294967295 134512640 134569956 3221224368 3221214600 1131456962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27864 13086 16 0 209207 0
vsize: 836892
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 110708 54 0 0 25 0 11 0 780218951 856977408 27864 4294967295 134512640 134569956 3221224368 3221214608 1131405355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27864 13086 16 0 209207 0
vsize: 836892
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 111699 55 0 0 25 0 11 0 780218951 856977408 27864 4294967295 134512640 134569956 3221224368 3221214600 1131456324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 27864 13086 16 0 209207 0
vsize: 836892
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 112696 55 0 0 25 0 11 0 780218951 856977408 28036 4294967295 134512640 134569956 3221224368 3221214504 1131448645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 28036 13086 16 0 209207 0
vsize: 836892
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 113695 55 0 0 25 0 11 0 780218951 856977408 28036 4294967295 134512640 134569956 3221224368 3221214504 1131293381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 28036 13086 16 0 209207 0
vsize: 836892
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 114695 55 0 0 25 0 11 0 780218951 856977408 28036 4294967295 134512640 134569956 3221224368 3221214600 1131456454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209223 28036 13086 16 0 209207 0
vsize: 836892
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 115694 55 0 0 25 0 11 0 780218951 856977408 28036 4294967295 134512640 134569956 3221224368 3221214600 1131456962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 28036 13086 16 0 209207 0
vsize: 836892
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 116693 55 0 0 25 0 11 0 780218951 856977408 28036 4294967295 134512640 134569956 3221224368 3221214600 1131456445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 28036 13086 16 0 209207 0
vsize: 836892
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 117693 55 0 0 25 0 11 0 780218951 856977408 28036 4294967295 134512640 134569956 3221224368 3221214600 1131456777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 28036 13086 16 0 209207 0
vsize: 836892
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 118693 55 0 0 25 0 11 0 780218951 856977408 28036 4294967295 134512640 134569956 3221224368 3221214572 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 28036 13086 16 0 209207 0
vsize: 836892
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 119693 55 0 0 25 0 11 0 780218951 856977408 28036 4294967295 134512640 134569956 3221224368 3221214504 1131293157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 28036 13086 16 0 209207 0
vsize: 836892
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32726
Raw data (stat): 32716 (java) R 32715 20224 20223 0 -1 0 18064 0 1 0 120692 55 0 0 25 0 11 0 780218951 856977408 28036 4294967295 134512640 134569956 3221224368 3221214600 1131456454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 28036 13086 16 0 209207 0
vsize: 836892
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.19 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 32728
Raw data (stat): 32716 (java) Z 32715 20224 20223 0 -1 1036 18064 8963 1 0 120697 55 1091 21 17 0 1 0 780218951 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): 1220.19
CPU time (s): 1218.66
CPU user time (s): 1217.89
CPU system time (s): 0.772882
CPU usage (%): 99.8744
Max. virtual memory (Kb): 837476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####