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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-roll3000.opb
MD5SUM	a7433a26e92d47a3d337e0c2b98bd409
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	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	128000000000
Number of bits of the biggest number in a constraint	37
Biggest sum of numbers in a constraint	265438953471
Number of bits of the biggest sum of numbers	38
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.57861
Number of variables	7611
Total number of constraints	3459
Number of constraints which are clauses	143
Number of constraints which are cardinality constraints (but not clauses)	626
Number of constraints which are nor clauses,nor cardinality constraints	2690
Minimum length of a constraint	1
Maximum length of a constraint	2047
Trace number 30168

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        631960 kB
Buffers:         34624 kB
Cached:         346048 kB
SwapCached:        672 kB
Active:          73772 kB
Inactive:       308980 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        631708 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            14344 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 15:56:40 (client local time) WITH STATUS 143 IN 1241.68 SECONDS
stats: 21567 7 1241.68 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/wulflinc15/normalized-mps-v2-13-7-roll3000.opb
c reading problem ... done. Time 23.753 ms.
c #vars     7611
c #constraints  3038
c starts	: 4
c conflicts	: 478
c decisions	: 30856
c propagations	: 61055
c inspects	: 190407
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 477
c root simplifications	: 12
s UNKNOWN
c Total CPU time (ms) : 1229.089
#### 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 9255
Raw data (stat): 9255 (runsolver) R 9254 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781779248 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.0012 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 9264
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18029 0 1 0 858 33 0 0 25 0 10 0 781779248 854491136 19581 4294967295 134512640 134569956 3221224368 3221214404 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208616 19581 13086 16 0 208600 0
vsize: 834464
[startup+20.0026 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 9264
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18029 0 1 0 1749 34 0 0 25 0 10 0 781779248 854261760 20124 4294967295 134512640 134569956 3221224368 3221214636 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208560 20124 13086 16 0 208544 0
vsize: 834240
[startup+30.0032 s]
Raw data (loadavg): 1.14 1.03 1.01 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18085 0 1 0 2606 36 0 0 25 0 11 0 781779248 857407488 24593 4294967295 134512640 134569956 3221224368 3221214760 1131370953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209328 24593 13086 16 0 209312 0
vsize: 837312
[startup+40.0037 s]
Raw data (loadavg): 1.12 1.03 1.01 4/64 9265
Raw data (stat): 9255 (java) S 9254 23514 23513 0 -1 0 18086 0 1 0 3578 36 0 0 17 0 11 0 781779248 857096192 24572 4294967295 134512640 134569956 3221224368 3221213232 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209252 24572 13086 16 0 209236 0
vsize: 837008
[startup+50.0095 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18087 0 1 0 4559 37 0 0 25 0 11 0 781779248 858144768 24657 4294967295 134512640 134569956 3221224368 3221214680 1131376212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209508 24657 13086 16 0 209492 0
vsize: 838032
[startup+60.0109 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18087 0 1 0 5536 37 0 0 25 0 11 0 781779248 858144768 24644 4294967295 134512640 134569956 3221224368 3221214680 1131375700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209508 24644 13086 16 0 209492 0
vsize: 838032
[startup+70.0112 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18088 0 1 0 6512 37 0 0 25 0 11 0 781779248 858144768 24709 4294967295 134512640 134569956 3221224368 3221214680 1131375700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209508 24709 13086 16 0 209492 0
vsize: 838032
[startup+80.0115 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18089 0 1 0 7490 37 0 0 24 0 11 0 781779248 858144768 24734 4294967295 134512640 134569956 3221224368 3221214152 1077378428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209508 24734 13086 16 0 209492 0
vsize: 838032
[startup+90.0123 s]
Raw data (loadavg): 1.13 1.04 1.01 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18089 0 1 0 8463 37 0 0 25 0 11 0 781779248 861392896 25518 4294967295 134512640 134569956 3221224368 3221214400 1131462922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210301 25518 13086 16 0 210285 0
vsize: 841204
[startup+100.013 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18090 0 1 0 9421 37 0 0 25 0 11 0 781779248 860368896 25327 4294967295 134512640 134569956 3221224368 3221214592 1131453191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 25327 13086 16 0 210035 0
vsize: 840204
[startup+110.014 s]
Raw data (loadavg): 1.17 1.05 1.01 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18090 0 1 0 10398 38 0 0 25 0 11 0 781779248 860368896 25352 4294967295 134512640 134569956 3221224368 3221214680 1131379524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 25352 13086 16 0 210035 0
vsize: 840204
[startup+120.015 s]
Raw data (loadavg): 1.15 1.05 1.01 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18090 0 1 0 11373 38 0 0 25 0 11 0 781779248 860368896 25430 4294967295 134512640 134569956 3221224368 3221214584 1131243643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 25430 13086 16 0 210035 0
vsize: 840204
[startup+130.015 s]
Raw data (loadavg): 1.12 1.05 1.01 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18090 0 1 0 12353 38 0 0 25 0 11 0 781779248 860368896 25522 4294967295 134512640 134569956 3221224368 3221214584 1131243493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 25522 13086 16 0 210035 0
vsize: 840204
[startup+140.017 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18090 0 1 0 13334 38 0 0 24 0 11 0 781779248 860368896 25537 4294967295 134512640 134569956 3221224368 3221214584 1131243629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 25537 13086 16 0 210035 0
vsize: 840204
[startup+150.017 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18090 0 1 0 14308 38 0 0 25 0 11 0 781779248 860368896 25603 4294967295 134512640 134569956 3221224368 3221214584 1131243736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 25603 13086 16 0 210035 0
vsize: 840204
[startup+160.018 s]
Raw data (loadavg): 1.07 1.04 1.01 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 15275 39 0 0 25 0 11 0 781779248 860368896 25608 4294967295 134512640 134569956 3221224368 3221214680 1131374342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 25608 13086 16 0 210035 0
vsize: 840204
[startup+170.017 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 16228 39 0 0 25 0 11 0 781779248 860368896 25627 4294967295 134512640 134569956 3221224368 3221214584 1131244523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 25627 13086 16 0 210035 0
vsize: 840204
[startup+180.018 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 17182 39 0 0 25 0 11 0 781779248 860368896 25801 4294967295 134512640 134569956 3221224368 3221214584 1131243499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 25801 13086 16 0 210035 0
vsize: 840204
[startup+190.019 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 18146 39 0 0 25 0 11 0 781779248 860368896 25871 4294967295 134512640 134569956 3221224368 3221214496 1131263513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 25871 13086 16 0 210035 0
vsize: 840204
[startup+200.019 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 19109 39 0 0 25 0 11 0 781779248 860368896 25937 4294967295 134512640 134569956 3221224368 3221214512 1131263549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 25937 13086 16 0 210035 0
vsize: 840204
[startup+210.02 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 20085 39 0 0 25 0 11 0 781779248 860368896 26033 4294967295 134512640 134569956 3221224368 3221214504 1131463018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26033 13086 16 0 210035 0
vsize: 840204
[startup+220.021 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 21062 39 0 0 24 0 11 0 781779248 860368896 26131 4294967295 134512640 134569956 3221224368 3221214496 1131263534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26131 13086 16 0 210035 0
vsize: 840204
[startup+230.02 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 22050 39 0 0 25 0 11 0 781779248 860368896 26187 4294967295 134512640 134569956 3221224368 3221214568 1131195156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26187 13086 16 0 210035 0
vsize: 840204
[startup+240.021 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 23045 39 0 0 25 0 11 0 781779248 860368896 26237 4294967295 134512640 134569956 3221224368 3221214504 1131464973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26237 13086 16 0 210035 0
vsize: 840204
[startup+250.021 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 24042 39 0 0 25 0 11 0 781779248 860368896 26243 4294967295 134512640 134569956 3221224368 3221214368 1131508995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26243 13086 16 0 210035 0
vsize: 840204
[startup+260.022 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 25040 40 0 0 25 0 11 0 781779248 860368896 26243 4294967295 134512640 134569956 3221224368 3221214512 1131263565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26243 13086 16 0 210035 0
vsize: 840204
[startup+270.023 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 26037 40 0 0 25 0 11 0 781779248 860368896 26243 4294967295 134512640 134569956 3221224368 3221214496 1131264289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26243 13086 16 0 210035 0
vsize: 840204
[startup+280.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 27035 40 0 0 25 0 11 0 781779248 860368896 26243 4294967295 134512640 134569956 3221224368 3221214504 1131463173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26243 13086 16 0 210035 0
vsize: 840204
[startup+290.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 28033 40 0 0 25 0 11 0 781779248 860368896 26243 4294967295 134512640 134569956 3221224368 3221214512 1131263970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26243 13086 16 0 210035 0
vsize: 840204
[startup+300.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 29031 40 0 0 25 0 11 0 781779248 860368896 26243 4294967295 134512640 134569956 3221224368 3221214272 1131490992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26243 13086 16 0 210035 0
vsize: 840204
[startup+310.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 30028 40 0 0 25 0 11 0 781779248 860368896 26243 4294967295 134512640 134569956 3221224368 3221214504 1131462812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26243 13086 16 0 210035 0
vsize: 840204
[startup+320.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 31026 40 0 0 25 0 11 0 781779248 860368896 26243 4294967295 134512640 134569956 3221224368 3221214600 1131298644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26243 13086 16 0 210035 0
vsize: 840204
[startup+330.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 32023 41 0 0 25 0 11 0 781779248 860368896 26243 4294967295 134512640 134569956 3221224368 3221214592 1131453346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 26243 13086 16 0 210035 0
vsize: 840204
[startup+340.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 33020 41 0 0 25 0 11 0 781779248 860368896 26243 4294967295 134512640 134569956 3221224368 3221214680 1131375343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26243 13086 16 0 210035 0
vsize: 840204
[startup+350.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 34011 41 0 0 25 0 11 0 781779248 860368896 26244 4294967295 134512640 134569956 3221224368 3221214608 1131440167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26244 13086 16 0 210035 0
vsize: 840204
[startup+360.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 35002 41 0 0 25 0 11 0 781779248 860368896 26244 4294967295 134512640 134569956 3221224368 3221214592 1131453239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26244 13086 16 0 210035 0
vsize: 840204
[startup+370.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 35992 41 0 0 25 0 11 0 781779248 860368896 26244 4294967295 134512640 134569956 3221224368 3221214512 1131263511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26244 13086 16 0 210035 0
vsize: 840204
[startup+380.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 36983 41 0 0 25 0 11 0 781779248 860368896 26244 4294967295 134512640 134569956 3221224368 3221214504 1131464219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26244 13086 16 0 210035 0
vsize: 840204
[startup+390.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 37976 41 0 0 25 0 11 0 781779248 860368896 26310 4294967295 134512640 134569956 3221224368 3221214592 1131453584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26310 13086 16 0 210035 0
vsize: 840204
[startup+400.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 38972 41 0 0 25 0 11 0 781779248 860368896 26312 4294967295 134512640 134569956 3221224368 3221214504 1131462744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26312 13086 16 0 210035 0
vsize: 840204
[startup+410.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 39968 41 0 0 25 0 11 0 781779248 860368896 26312 4294967295 134512640 134569956 3221224368 3221214504 1131463180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26312 13086 16 0 210035 0
vsize: 840204
[startup+420.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 40964 41 0 0 25 0 11 0 781779248 860368896 26312 4294967295 134512640 134569956 3221224368 3221214512 1131262850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26312 13086 16 0 210035 0
vsize: 840204
[startup+430.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 41959 41 0 0 25 0 11 0 781779248 860368896 26326 4294967295 134512640 134569956 3221224368 3221214504 1131463173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26326 13086 16 0 210035 0
vsize: 840204
[startup+440.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 42955 42 0 0 25 0 11 0 781779248 860368896 26326 4294967295 134512640 134569956 3221224368 3221214512 1131263513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26326 13086 16 0 210035 0
vsize: 840204
[startup+450.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 43951 42 0 0 25 0 11 0 781779248 860368896 26326 4294967295 134512640 134569956 3221224368 3221214504 1131464143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26326 13086 16 0 210035 0
vsize: 840204
[startup+460.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 44947 42 0 0 25 0 11 0 781779248 860368896 26341 4294967295 134512640 134569956 3221224368 3221214504 1131463180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26341 13086 16 0 210035 0
vsize: 840204
[startup+470.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 45943 42 0 0 25 0 11 0 781779248 860368896 26341 4294967295 134512640 134569956 3221224368 3221214368 1131509017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26341 13086 16 0 210035 0
vsize: 840204
[startup+480.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 46939 42 0 0 25 0 11 0 781779248 860368896 26341 4294967295 134512640 134569956 3221224368 3221214504 1131463343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26341 13086 16 0 210035 0
vsize: 840204
[startup+490.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 47935 42 0 0 25 0 11 0 781779248 860368896 26355 4294967295 134512640 134569956 3221224368 3221214608 1131440167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26355 13086 16 0 210035 0
vsize: 840204
[startup+500.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 48931 42 0 0 25 0 11 0 781779248 860368896 26355 4294967295 134512640 134569956 3221224368 3221214592 1131453982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26355 13086 16 0 210035 0
vsize: 840204
[startup+510.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 49927 42 0 0 25 0 11 0 781779248 860368896 26355 4294967295 134512640 134569956 3221224368 3221214496 1131263682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26355 13086 16 0 210035 0
vsize: 840204
[startup+520.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 50923 42 0 0 25 0 11 0 781779248 860368896 26355 4294967295 134512640 134569956 3221224368 3221214608 1131440323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26355 13086 16 0 210035 0
vsize: 840204
[startup+530.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 51916 43 0 0 25 0 11 0 781779248 860368896 26364 4294967295 134512640 134569956 3221224368 3221214328 1076460963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26364 13086 16 0 210035 0
vsize: 840204
[startup+540.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 52910 43 0 0 25 0 11 0 781779248 860368896 26364 4294967295 134512640 134569956 3221224368 3221214496 1131263353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26364 13086 16 0 210035 0
vsize: 840204
[startup+550.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 53904 43 0 0 25 0 11 0 781779248 860368896 26364 4294967295 134512640 134569956 3221224368 3221214504 1131463153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26364 13086 16 0 210035 0
vsize: 840204
[startup+560.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 54898 43 0 0 25 0 11 0 781779248 860368896 26364 4294967295 134512640 134569956 3221224368 3221214568 1131195184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26364 13086 16 0 210035 0
vsize: 840204
[startup+570.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 55892 43 0 0 25 0 11 0 781779248 860368896 26393 4294967295 134512640 134569956 3221224368 3221214504 1131464191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26393 13086 16 0 210035 0
vsize: 840204
[startup+580.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 56889 43 0 0 25 0 11 0 781779248 860368896 26403 4294967295 134512640 134569956 3221224368 3221214600 1131195161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26403 13086 16 0 210035 0
vsize: 840204
[startup+590.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 57883 43 0 0 25 0 11 0 781779248 860368896 26403 4294967295 134512640 134569956 3221224368 3221214504 1131464251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26403 13086 16 0 210035 0
vsize: 840204
[startup+600.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 58876 43 0 0 25 0 11 0 781779248 860368896 26403 4294967295 134512640 134569956 3221224368 3221214512 1131263511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26403 13086 16 0 210035 0
vsize: 840204
[startup+610.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 59870 44 0 0 25 0 11 0 781779248 860368896 26403 4294967295 134512640 134569956 3221224368 3221214504 1131464160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26403 13086 16 0 210035 0
vsize: 840204
[startup+620.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 60864 44 0 0 25 0 11 0 781779248 860368896 26403 4294967295 134512640 134569956 3221224368 3221214512 1131263549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26403 13086 16 0 210035 0
vsize: 840204
[startup+630.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 61859 44 0 0 25 0 11 0 781779248 860368896 26444 4294967295 134512640 134569956 3221224368 3221214608 1131440164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 26444 13086 16 0 210035 0
vsize: 840204
[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 62855 44 0 0 25 0 11 0 781779248 860368896 26444 4294967295 134512640 134569956 3221224368 3221214368 1131506615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 26444 13086 16 0 210035 0
vsize: 840204
[startup+650.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 63852 44 0 0 25 0 11 0 781779248 860368896 26444 4294967295 134512640 134569956 3221224368 3221214504 1131464986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26444 13086 16 0 210035 0
vsize: 840204
[startup+660.044 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 64848 44 0 0 25 0 11 0 781779248 860368896 26453 4294967295 134512640 134569956 3221224368 3221214608 1131440191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 26453 13086 16 0 210035 0
vsize: 840204
[startup+670.044 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 65843 45 0 0 25 0 11 0 781779248 860368896 26462 4294967295 134512640 134569956 3221224368 3221214512 1131263513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 26462 13086 16 0 210035 0
vsize: 840204
[startup+680.044 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 66838 45 0 0 25 0 11 0 781779248 860368896 26462 4294967295 134512640 134569956 3221224368 3221214512 1131264252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 26462 13086 16 0 210035 0
vsize: 840204
[startup+690.045 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 67834 45 0 0 25 0 11 0 781779248 860368896 26462 4294967295 134512640 134569956 3221224368 3221214448 1131243810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 26462 13086 16 0 210035 0
vsize: 840204
[startup+700.046 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 68829 45 0 0 25 0 11 0 781779248 860368896 26462 4294967295 134512640 134569956 3221224368 3221214496 1131263513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 26462 13086 16 0 210035 0
vsize: 840204
[startup+710.046 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 69816 45 0 0 25 0 11 0 781779248 860368896 26471 4294967295 134512640 134569956 3221224368 3221214584 1131243582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 26471 13086 16 0 210035 0
vsize: 840204
[startup+720.047 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 70797 45 0 0 25 0 11 0 781779248 860368896 26471 4294967295 134512640 134569956 3221224368 3221214520 1131263420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 26471 13086 16 0 210035 0
vsize: 840204
[startup+730.047 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 9265
Raw data (stat): 9255 (java) S 9254 23514 23513 0 -1 0 18091 0 1 0 71778 45 0 0 25 0 11 0 781779248 860368896 26471 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 26471 13086 16 0 210035 0
vsize: 840204
[startup+740.048 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 72756 46 0 0 25 0 11 0 781779248 860368896 26471 4294967295 134512640 134569956 3221224368 3221214672 1131181308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 26471 13086 16 0 210035 0
vsize: 840204
[startup+750.049 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 73739 46 0 0 25 0 11 0 781779248 860368896 26586 4294967295 134512640 134569956 3221224368 3221214512 1131463170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 26586 13086 16 0 210035 0
vsize: 840204
[startup+760.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 74726 46 0 0 25 0 11 0 781779248 860368896 26622 4294967295 134512640 134569956 3221224368 3221214520 1131263549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 26622 13086 16 0 210035 0
vsize: 840204
[startup+770.049 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 75715 46 0 0 25 0 11 0 781779248 860368896 26624 4294967295 134512640 134569956 3221224368 3221214512 1131463321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 26624 13086 16 0 210035 0
vsize: 840204
[startup+780.051 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 76699 47 0 0 25 0 11 0 781779248 860368896 26674 4294967295 134512640 134569956 3221224368 3221214512 1131462775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 26674 13086 16 0 210035 0
vsize: 840204
[startup+790.051 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 77689 47 0 0 25 0 11 0 781779248 860368896 26674 4294967295 134512640 134569956 3221224368 3221214616 1131440144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 26674 13086 16 0 210035 0
vsize: 840204
[startup+800.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 78666 47 0 0 25 0 11 0 781779248 860368896 26716 4294967295 134512640 134569956 3221224368 3221214680 1131375226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 26716 13086 16 0 210035 0
vsize: 840204
[startup+810.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 79633 48 0 0 25 0 11 0 781779248 860368896 26718 4294967295 134512640 134569956 3221224368 3221214728 1131195161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 26718 13086 16 0 210035 0
vsize: 840204
[startup+820.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 80594 49 0 0 24 0 11 0 781779248 860368896 26763 4294967295 134512640 134569956 3221224368 3221213820 1079755610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 26763 13086 16 0 210035 0
vsize: 840204
[startup+830.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 81560 49 0 0 25 0 11 0 781779248 860368896 26896 4294967295 134512640 134569956 3221224368 3221214584 1131243797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 26896 13086 16 0 210035 0
vsize: 840204
[startup+840.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 82539 49 0 0 25 0 11 0 781779248 860368896 26971 4294967295 134512640 134569956 3221224368 3221214584 1131243894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 26971 13086 16 0 210035 0
vsize: 840204
[startup+850.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 83530 50 0 0 25 0 11 0 781779248 860368896 27029 4294967295 134512640 134569956 3221224368 3221214680 1131379008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 27029 13086 16 0 210035 0
vsize: 840204
[startup+860.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 84510 50 0 0 25 0 11 0 781779248 860368896 27033 4294967295 134512640 134569956 3221224368 3221214520 1131263540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 27033 13086 16 0 210035 0
vsize: 840204
[startup+870.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 85488 50 0 0 25 0 11 0 781779248 860368896 27034 4294967295 134512640 134569956 3221224368 3221214624 1131422138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 27034 13086 16 0 210035 0
vsize: 840204
[startup+880.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 86457 51 0 0 25 0 11 0 781779248 860368896 27035 4294967295 134512640 134569956 3221224368 3221214520 1131263549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 27035 13086 16 0 210035 0
vsize: 840204
[startup+890.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 87429 51 0 0 25 0 11 0 781779248 860368896 27039 4294967295 134512640 134569956 3221224368 3221214680 1131374381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 27039 13086 16 0 210035 0
vsize: 840204
[startup+900.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 88395 51 0 0 25 0 11 0 781779248 860368896 27184 4294967295 134512640 134569956 3221224368 3221214576 1131318023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 27184 13086 16 0 210035 0
vsize: 840204
[startup+910.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 89360 51 0 0 25 0 11 0 781779248 860368896 27277 4294967295 134512640 134569956 3221224368 3221214584 1131245416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 27277 13086 16 0 210035 0
vsize: 840204
[startup+920.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 90312 52 0 0 25 0 11 0 781779248 860368896 27292 4294967295 134512640 134569956 3221224368 3221214680 1131379413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 27292 13086 16 0 210035 0
vsize: 840204
[startup+930.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 91256 52 0 0 25 0 11 0 781779248 860368896 27367 4294967295 134512640 134569956 3221224368 3221214584 1131243702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 27367 13086 16 0 210035 0
vsize: 840204
[startup+940.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 92191 52 0 0 25 0 11 0 781779248 860368896 27482 4294967295 134512640 134569956 3221224368 3221214680 1131374371 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 27482 13086 16 0 210035 0
vsize: 840204
[startup+950.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 93132 52 0 0 25 0 11 0 781779248 860368896 27662 4294967295 134512640 134569956 3221224368 3221214680 1131378876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 27662 13086 16 0 210035 0
vsize: 840204
[startup+960.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 94081 52 0 0 22 0 11 0 781779248 860368896 27832 4294967295 134512640 134569956 3221224368 3221214576 1131318048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 27832 13086 16 0 210035 0
vsize: 840204
[startup+970.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 95048 52 0 0 25 0 11 0 781779248 860368896 28145 4294967295 134512640 134569956 3221224368 3221214632 1131375355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 28145 13086 16 0 210035 0
vsize: 840204
[startup+980.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 96028 53 0 0 25 0 11 0 781779248 860368896 28149 4294967295 134512640 134569956 3221224368 3221214632 1131375700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 28149 13086 16 0 210035 0
vsize: 840204
[startup+990.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 97006 53 0 0 25 0 11 0 781779248 860368896 28227 4294967295 134512640 134569956 3221224368 3221214536 1131243629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 28227 13086 16 0 210035 0
vsize: 840204
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 97984 53 0 0 24 0 11 0 781779248 860368896 28230 4294967295 134512640 134569956 3221224368 3221214632 1131376212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 28230 13086 16 0 210035 0
vsize: 840204
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 98956 54 0 0 25 0 11 0 781779248 860368896 28272 4294967295 134512640 134569956 3221224368 3221214488 1131263549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 28272 13086 16 0 210035 0
vsize: 840204
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 99923 54 0 0 25 0 11 0 781779248 860368896 28311 4294967295 134512640 134569956 3221224368 3221214528 1131317997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 28311 13086 16 0 210035 0
vsize: 840204
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 100891 54 0 0 25 0 11 0 781779248 860368896 28388 4294967295 134512640 134569956 3221224368 3221214632 1131378735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 28388 13086 16 0 210035 0
vsize: 840204
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 101863 55 0 0 25 0 11 0 781779248 860368896 28433 4294967295 134512640 134569956 3221224368 3221214632 1131375700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 28433 13086 16 0 210035 0
vsize: 840204
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 102836 55 0 0 25 0 11 0 781779248 860368896 28512 4294967295 134512640 134569956 3221224368 3221214632 1131378988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 28512 13086 16 0 210035 0
vsize: 840204
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 103804 55 0 0 25 0 11 0 781779248 860368896 28514 4294967295 134512640 134569956 3221224368 3221214632 1131376212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 28514 13086 16 0 210035 0
vsize: 840204
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) S 9254 23514 23513 0 -1 0 18091 0 1 0 104764 55 0 0 25 0 11 0 781779248 860368896 28594 4294967295 134512640 134569956 3221224368 3221213240 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 28594 13086 16 0 210035 0
vsize: 840204
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 105720 56 0 0 25 0 11 0 781779248 860368896 28703 4294967295 134512640 134569956 3221224368 3221214488 1131262809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 28703 13086 16 0 210035 0
vsize: 840204
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 106692 57 0 0 25 0 11 0 781779248 860368896 28706 4294967295 134512640 134569956 3221224368 3221214632 1131379481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 28706 13086 16 0 210035 0
vsize: 840204
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 107649 57 0 0 25 0 11 0 781779248 860368896 28794 4294967295 134512640 134569956 3221224368 3221214632 1131376212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 28794 13086 16 0 210035 0
vsize: 840204
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 108608 57 0 0 25 0 11 0 781779248 860368896 28930 4294967295 134512640 134569956 3221224368 3221214520 1131422146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 28930 13086 16 0 210035 0
vsize: 840204
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 109569 58 0 0 24 0 11 0 781779248 860368896 29038 4294967295 134512640 134569956 3221224368 3221214632 1131376172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 29038 13086 16 0 210035 0
vsize: 840204
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 110527 58 0 0 25 0 11 0 781779248 860368896 29048 4294967295 134512640 134569956 3221224368 3221214624 1131181279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 29048 13086 16 0 210035 0
vsize: 840204
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 111487 58 0 0 25 0 11 0 781779248 860368896 29157 4294967295 134512640 134569956 3221224368 3221214632 1131375700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 29157 13086 16 0 210035 0
vsize: 840204
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 112448 58 0 0 25 0 11 0 781779248 860368896 29304 4294967295 134512640 134569956 3221224368 3221214632 1131376212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 29304 13086 16 0 210035 0
vsize: 840204
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 113410 58 0 0 25 0 11 0 781779248 860368896 29395 4294967295 134512640 134569956 3221224368 3221214488 1131263346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 29395 13086 16 0 210035 0
vsize: 840204
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 114381 59 0 0 25 0 11 0 781779248 860368896 29477 4294967295 134512640 134569956 3221224368 3221214716 1131364640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 29477 13086 16 0 210035 0
vsize: 840204
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 115344 59 0 0 25 0 11 0 781779248 860368896 29478 4294967295 134512640 134569956 3221224368 3221214632 1131379008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 29478 13086 16 0 210035 0
vsize: 840204
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 116301 59 0 0 25 0 11 0 781779248 860368896 29604 4294967295 134512640 134569956 3221224368 3221214624 1131181308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 29604 13086 16 0 210035 0
vsize: 840204
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 117260 59 0 0 25 0 11 0 781779248 860368896 29644 4294967295 134512640 134569956 3221224368 3221214632 1131377233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 29644 13086 16 0 210035 0
vsize: 840204
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 118222 60 0 0 25 0 11 0 781779248 860368896 29857 4294967295 134512640 134569956 3221224368 3221214632 1131375581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 29857 13086 16 0 210035 0
vsize: 840204
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 119195 60 0 0 25 0 11 0 781779248 860368896 29898 4294967295 134512640 134569956 3221224368 3221214584 1131440174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 29898 13086 16 0 210035 0
vsize: 840204
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9265
Raw data (stat): 9255 (java) R 9254 23514 23513 0 -1 0 18091 0 1 0 120170 60 0 0 25 0 11 0 781779248 860368896 29899 4294967295 134512640 134569956 3221224368 3221214572 1130885144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210051 29899 13086 16 0 210035 0
vsize: 840204
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 9267
Raw data (stat): 9255 (java) Z 9254 23514 23513 0 -1 1036 18091 17460 1 0 120172 66 3879 50 25 0 1 0 781779248 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): 1230.14
CPU time (s): 1241.68
CPU user time (s): 1240.52
CPU system time (s): 1.16382
CPU usage (%): 100.938
Max. virtual memory (Kb): 841204
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####