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/MIPLIB/miplib2003/normalized-mps-v2-20-10-rout.opb
MD5SUM	26f8714f5bbc8fb10d3a4aeb3a0f315a
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	26904326400
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	81230087655
Number of bits of the biggest sum of numbers	37
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.218966
Number of variables	7561
Total number of constraints	606
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	314
Number of constraints which are nor clauses,nor cardinality constraints	292
Minimum length of a constraint	1
Maximum length of a constraint	917
Trace number 29609

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-25 09:30:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21012 boxname=wulflinc3 idbench=1000 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  26f8714f5bbc8fb10d3a4aeb3a0f315a  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-rout.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-rout.opb
IDLAUNCH: 21012
/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:        827052 kB
Buffers:         31536 kB
Cached:         156348 kB
SwapCached:          0 kB
Active:          63936 kB
Inactive:       126560 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        826800 kB
SwapTotal:     2097136 kB
SwapFree:      2096800 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6576 kB
Slab:            11296 kB
Committed_AS:    71860 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 09:51:24 (client local time) WITH STATUS 143 IN 1228.9 SECONDS
stats: 21012 7 1228.9 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-rout.opb
c reading problem ... done. Time 19.221 ms.
c #vars     7561
c #constraints  337
c starts	: 4
c conflicts	: 554
c decisions	: 3211
c propagations	: 86271
c inspects	: 835206
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 553
c root simplifications	: 24
s UNKNOWN
c Total CPU time (ms) : 1229.22
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.98 1.00 1.00 2/54 32081
Raw data (stat): 32081 (runsolver) R 32080 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779586096 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.0007 s]
Raw data (loadavg): 0.98 1.00 1.00 2/63 32090
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18028 0 1 0 850 39 0 0 25 0 10 0 779586096 853909504 19472 4294967295 134512640 134569956 3221224368 3221214472 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208474 19472 13086 16 0 208458 0
vsize: 833896
[startup+20.0012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 32090
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18028 0 1 0 1729 39 0 0 25 0 10 0 779586096 854958080 20662 4294967295 134512640 134569956 3221224368 3221214820 1131288499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208730 20662 13086 16 0 208714 0
vsize: 834920
[startup+30.0023 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18082 0 1 0 2641 40 0 0 25 0 11 0 779586096 863195136 22921 4294967295 134512640 134569956 3221224368 3221214636 1131205869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210741 22921 13086 16 0 210725 0
vsize: 842964
[startup+40.0022 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18093 0 1 0 3539 40 0 0 25 0 11 0 779586096 861204480 22469 4294967295 134512640 134569956 3221224368 3221214560 1131285293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 22469 13086 16 0 210239 0
vsize: 841020
[startup+50.0035 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18093 0 1 0 4454 40 0 0 25 0 11 0 779586096 861204480 22811 4294967295 134512640 134569956 3221224368 3221214652 1131362553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 22811 13086 16 0 210239 0
vsize: 841020
[startup+60.0039 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18094 0 1 0 5419 40 0 0 25 0 11 0 779586096 861204480 23299 4294967295 134512640 134569956 3221224368 3221214560 1131287148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 23299 13086 16 0 210239 0
vsize: 841020
[startup+70.0037 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18095 0 1 0 6404 40 0 0 25 0 11 0 779586096 861204480 23305 4294967295 134512640 134569956 3221224368 3221214656 1131439596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 23305 13086 16 0 210239 0
vsize: 841020
[startup+80.0053 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18095 0 1 0 7390 41 0 0 25 0 11 0 779586096 861204480 23352 4294967295 134512640 134569956 3221224368 3221214560 1131285293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 23352 13086 16 0 210239 0
vsize: 841020
[startup+90.0054 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18095 0 1 0 8378 41 0 0 25 0 11 0 779586096 861204480 23367 4294967295 134512640 134569956 3221224368 3221214560 1131285246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 23367 13086 16 0 210239 0
vsize: 841020
[startup+100.006 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18095 0 1 0 9370 41 0 0 25 0 11 0 779586096 861204480 23410 4294967295 134512640 134569956 3221224368 3221214560 1131285426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 23410 13086 16 0 210239 0
vsize: 841020
[startup+110.008 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18095 0 1 0 10362 41 0 0 25 0 11 0 779586096 861204480 23419 4294967295 134512640 134569956 3221224368 3221214656 1131437923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 23419 13086 16 0 210239 0
vsize: 841020
[startup+120.008 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18095 0 1 0 11355 41 0 0 25 0 11 0 779586096 861204480 23425 4294967295 134512640 134569956 3221224368 3221214560 1131285293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 23425 13086 16 0 210239 0
vsize: 841020
[startup+130.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18095 0 1 0 12348 41 0 0 25 0 11 0 779586096 861204480 23436 4294967295 134512640 134569956 3221224368 3221214552 1131270294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 23436 13086 16 0 210239 0
vsize: 841020
[startup+140.021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18095 0 1 0 13344 41 0 0 25 0 11 0 779586096 861204480 23460 4294967295 134512640 134569956 3221224368 3221214656 1131441218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 23460 13086 16 0 210239 0
vsize: 841020
[startup+150.026 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18095 0 1 0 14341 41 0 0 25 0 11 0 779586096 861204480 23462 4294967295 134512640 134569956 3221224368 3221214656 1131438109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 23462 13086 16 0 210239 0
vsize: 841020
[startup+160.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18096 0 1 0 15322 41 0 0 25 0 11 0 779586096 861204480 23483 4294967295 134512640 134569956 3221224368 3221214544 1131496955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 23483 13086 16 0 210239 0
vsize: 841020
[startup+170.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18097 0 1 0 16305 41 0 0 25 0 11 0 779586096 861204480 23487 4294967295 134512640 134569956 3221224368 3221214560 1131285293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 23487 13086 16 0 210239 0
vsize: 841020
[startup+180.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18097 0 1 0 17286 42 0 0 25 0 11 0 779586096 861204480 23489 4294967295 134512640 134569956 3221224368 3221214568 1131205422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 23489 13086 16 0 210239 0
vsize: 841020
[startup+190.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 18269 42 0 0 25 0 11 0 779586096 861204480 23494 4294967295 134512640 134569956 3221224368 3221214632 1131484748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 23494 13086 16 0 210239 0
vsize: 841020
[startup+200.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 19246 42 0 0 25 0 11 0 779586096 861204480 23559 4294967295 134512640 134569956 3221224368 3221214536 1131217478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 23559 13086 16 0 210239 0
vsize: 841020
[startup+210.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 20218 42 0 0 25 0 11 0 779586096 861204480 23633 4294967295 134512640 134569956 3221224368 3221214560 1131285183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 23633 13086 16 0 210239 0
vsize: 841020
[startup+220.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 21180 42 0 0 25 0 11 0 779586096 861204480 23636 4294967295 134512640 134569956 3221224368 3221214560 1131285272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 23636 13086 16 0 210239 0
vsize: 841020
[startup+230.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 22143 42 0 0 25 0 11 0 779586096 861204480 23793 4294967295 134512640 134569956 3221224368 3221214656 1131438109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 23793 13086 16 0 210239 0
vsize: 841020
[startup+240.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 23130 42 0 0 25 0 11 0 779586096 861204480 24015 4294967295 134512640 134569956 3221224368 3221214560 1131286920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24015 13086 16 0 210239 0
vsize: 841020
[startup+250.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 24125 42 0 0 25 0 11 0 779586096 861204480 24021 4294967295 134512640 134569956 3221224368 3221214560 1131287137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24021 13086 16 0 210239 0
vsize: 841020
[startup+260.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 25119 43 0 0 25 0 11 0 779586096 861204480 24031 4294967295 134512640 134569956 3221224368 3221214656 1131441239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24031 13086 16 0 210239 0
vsize: 841020
[startup+270.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 26115 43 0 0 25 0 11 0 779586096 861204480 24034 4294967295 134512640 134569956 3221224368 3221214560 1131285493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24034 13086 16 0 210239 0
vsize: 841020
[startup+280.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 27110 43 0 0 25 0 11 0 779586096 861204480 24041 4294967295 134512640 134569956 3221224368 3221214656 1131445134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24041 13086 16 0 210239 0
vsize: 841020
[startup+290.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 28105 43 0 0 25 0 11 0 779586096 861204480 24045 4294967295 134512640 134569956 3221224368 3221214560 1131285280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24045 13086 16 0 210239 0
vsize: 841020
[startup+300.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 29101 43 0 0 25 0 11 0 779586096 861204480 24048 4294967295 134512640 134569956 3221224368 3221214656 1131445288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24048 13086 16 0 210239 0
vsize: 841020
[startup+310.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 30097 43 0 0 24 0 11 0 779586096 861204480 24052 4294967295 134512640 134569956 3221224368 3221214588 1130885120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24052 13086 16 0 210239 0
vsize: 841020
[startup+320.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 31083 43 0 0 25 0 11 0 779586096 861204480 24052 4294967295 134512640 134569956 3221224368 3221214560 1131285140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24052 13086 16 0 210239 0
vsize: 841020
[startup+330.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 32064 43 0 0 25 0 11 0 779586096 861204480 24053 4294967295 134512640 134569956 3221224368 3221214652 1131251180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24053 13086 16 0 210239 0
vsize: 841020
[startup+340.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 33044 43 0 0 25 0 11 0 779586096 861204480 24054 4294967295 134512640 134569956 3221224368 3221214560 1131285293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24054 13086 16 0 210239 0
vsize: 841020
[startup+350.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 34034 44 0 0 25 0 11 0 779586096 861204480 24181 4294967295 134512640 134569956 3221224368 3221214656 1131445672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24181 13086 16 0 210239 0
vsize: 841020
[startup+360.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 35028 44 0 0 25 0 11 0 779586096 861204480 24181 4294967295 134512640 134569956 3221224368 3221214560 1131285293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24181 13086 16 0 210239 0
vsize: 841020
[startup+370.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 36022 44 0 0 25 0 11 0 779586096 861204480 24183 4294967295 134512640 134569956 3221224368 3221214656 1131439580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24183 13086 16 0 210239 0
vsize: 841020
[startup+380.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 37017 44 0 0 25 0 11 0 779586096 861204480 24201 4294967295 134512640 134569956 3221224368 3221214656 1131438133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24201 13086 16 0 210239 0
vsize: 841020
[startup+390.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 38014 44 0 0 25 0 11 0 779586096 861204480 24201 4294967295 134512640 134569956 3221224368 3221214560 1131285307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24201 13086 16 0 210239 0
vsize: 841020
[startup+400.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 39010 44 0 0 25 0 11 0 779586096 861204480 24203 4294967295 134512640 134569956 3221224368 3221214560 1131285593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24203 13086 16 0 210239 0
vsize: 841020
[startup+410.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 40004 44 0 0 25 0 11 0 779586096 861204480 24204 4294967295 134512640 134569956 3221224368 3221214544 1131494606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24204 13086 16 0 210239 0
vsize: 841020
[startup+420.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 40986 44 0 0 25 0 11 0 779586096 861204480 24206 4294967295 134512640 134569956 3221224368 3221214652 1131205869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24206 13086 16 0 210239 0
vsize: 841020
[startup+430.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 41967 44 0 0 24 0 11 0 779586096 861204480 24208 4294967295 134512640 134569956 3221224368 3221214656 1131439417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24208 13086 16 0 210239 0
vsize: 841020
[startup+440.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 42950 44 0 0 24 0 11 0 779586096 861204480 24280 4294967295 134512640 134569956 3221224368 3221214648 1131251250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24280 13086 16 0 210239 0
vsize: 841020
[startup+450.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 43945 44 0 0 25 0 11 0 779586096 861204480 24338 4294967295 134512640 134569956 3221224368 3221214656 1131440143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24338 13086 16 0 210239 0
vsize: 841020
[startup+460.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 44941 44 0 0 25 0 11 0 779586096 861204480 24340 4294967295 134512640 134569956 3221224368 3221214648 1131251207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24340 13086 16 0 210239 0
vsize: 841020
[startup+470.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 45936 44 0 0 25 0 11 0 779586096 861204480 24343 4294967295 134512640 134569956 3221224368 3221214656 1131439965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24343 13086 16 0 210239 0
vsize: 841020
[startup+480.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 46930 44 0 0 25 0 11 0 779586096 861204480 24344 4294967295 134512640 134569956 3221224368 3221214544 1131217544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24344 13086 16 0 210239 0
vsize: 841020
[startup+490.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 47919 45 0 0 25 0 11 0 779586096 861204480 24345 4294967295 134512640 134569956 3221224368 3221214632 1131484754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24345 13086 16 0 210239 0
vsize: 841020
[startup+500.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 48901 45 0 0 25 0 11 0 779586096 861204480 24347 4294967295 134512640 134569956 3221224368 3221214544 1131217658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24347 13086 16 0 210239 0
vsize: 841020
[startup+510.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 49873 45 0 0 25 0 11 0 779586096 861204480 24352 4294967295 134512640 134569956 3221224368 3221214640 1131427118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24352 13086 16 0 210239 0
vsize: 841020
[startup+520.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 50839 45 0 0 25 0 11 0 779586096 861204480 24370 4294967295 134512640 134569956 3221224368 3221214416 1131590168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24370 13086 16 0 210239 0
vsize: 841020
[startup+530.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 51800 45 0 0 25 0 11 0 779586096 861204480 24417 4294967295 134512640 134569956 3221224368 3221214632 1131484897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24417 13086 16 0 210239 0
vsize: 841020
[startup+540.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 52758 45 0 0 25 0 11 0 779586096 861204480 24513 4294967295 134512640 134569956 3221224368 3221214632 1131484930 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24513 13086 16 0 210239 0
vsize: 841020
[startup+550.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 53704 45 0 0 25 0 11 0 779586096 861204480 24691 4294967295 134512640 134569956 3221224368 3221214648 1131251250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24691 13086 16 0 210239 0
vsize: 841020
[startup+560.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 54656 45 0 0 25 0 11 0 779586096 861204480 24892 4294967295 134512640 134569956 3221224368 3221214560 1131285426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 24892 13086 16 0 210239 0
vsize: 841020
[startup+570.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) S 32080 20224 20223 0 -1 0 18098 0 1 0 55629 45 0 0 25 0 11 0 779586096 861204480 25073 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 25073 13086 16 0 210239 0
vsize: 841020
[startup+580.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 56619 45 0 0 25 0 11 0 779586096 861204480 25236 4294967295 134512640 134569956 3221224368 3221214656 1131440340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 25236 13086 16 0 210239 0
vsize: 841020
[startup+590.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 57614 45 0 0 25 0 11 0 779586096 861204480 25241 4294967295 134512640 134569956 3221224368 3221214560 1131285244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 25241 13086 16 0 210239 0
vsize: 841020
[startup+600.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 58608 45 0 0 25 0 11 0 779586096 861204480 25250 4294967295 134512640 134569956 3221224368 3221214656 1131440053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 25250 13086 16 0 210239 0
vsize: 841020
[startup+610.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 59599 45 0 0 25 0 11 0 779586096 861204480 25254 4294967295 134512640 134569956 3221224368 3221214656 1131440525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 25254 13086 16 0 210239 0
vsize: 841020
[startup+620.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 60588 46 0 0 25 0 11 0 779586096 861204480 25262 4294967295 134512640 134569956 3221224368 3221214560 1131285293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 25262 13086 16 0 210239 0
vsize: 841020
[startup+630.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 61577 46 0 0 25 0 11 0 779586096 861204480 25269 4294967295 134512640 134569956 3221224368 3221214560 1131285244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 25269 13086 16 0 210239 0
vsize: 841020
[startup+640.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 62568 46 0 0 25 0 11 0 779586096 861204480 25324 4294967295 134512640 134569956 3221224368 3221214656 1131438106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 25324 13086 16 0 210239 0
vsize: 841020
[startup+650.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 63564 46 0 0 25 0 11 0 779586096 861204480 25327 4294967295 134512640 134569956 3221224368 3221214560 1131286541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 25327 13086 16 0 210239 0
vsize: 841020
[startup+660.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 64559 46 0 0 25 0 11 0 779586096 861204480 25329 4294967295 134512640 134569956 3221224368 3221214640 1131482663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 25329 13086 16 0 210239 0
vsize: 841020
[startup+670.075 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 65552 46 0 0 25 0 11 0 779586096 861597696 25413 4294967295 134512640 134569956 3221224368 3221214712 1131284357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 25413 13086 16 0 210335 0
vsize: 841404
[startup+680.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 66540 46 0 0 25 0 11 0 779586096 861204480 25359 4294967295 134512640 134569956 3221224368 3221214656 1131439596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25359 13086 16 0 210239 0
vsize: 841020
[startup+690.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 67528 47 0 0 25 0 11 0 779586096 861204480 25362 4294967295 134512640 134569956 3221224368 3221214560 1131285293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25362 13086 16 0 210239 0
vsize: 841020
[startup+700.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 68516 47 0 0 25 0 11 0 779586096 861204480 25401 4294967295 134512640 134569956 3221224368 3221214560 1131285590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25401 13086 16 0 210239 0
vsize: 841020
[startup+710.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 69510 48 0 0 25 0 11 0 779586096 861204480 25414 4294967295 134512640 134569956 3221224368 3221214656 1131438060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25414 13086 16 0 210239 0
vsize: 841020
[startup+720.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 70504 49 0 0 25 0 11 0 779586096 861204480 25415 4294967295 134512640 134569956 3221224368 3221214656 1131440148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25415 13086 16 0 210239 0
vsize: 841020
[startup+730.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 71498 49 0 0 25 0 11 0 779586096 861204480 25418 4294967295 134512640 134569956 3221224368 3221214648 1131484914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25418 13086 16 0 210239 0
vsize: 841020
[startup+740.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 72490 49 0 0 25 0 11 0 779586096 861204480 25419 4294967295 134512640 134569956 3221224368 3221214656 1131440148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25419 13086 16 0 210239 0
vsize: 841020
[startup+750.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 73477 49 0 0 25 0 11 0 779586096 861204480 25422 4294967295 134512640 134569956 3221224368 3221214552 1131217701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25422 13086 16 0 210239 0
vsize: 841020
[startup+760.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 74452 50 0 0 25 0 11 0 779586096 861204480 25425 4294967295 134512640 134569956 3221224368 3221214656 1131440148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25425 13086 16 0 210239 0
vsize: 841020
[startup+770.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 75430 50 0 0 25 0 11 0 779586096 861204480 25440 4294967295 134512640 134569956 3221224368 3221214760 1131430244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25440 13086 16 0 210239 0
vsize: 841020
[startup+780.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 76401 51 0 0 25 0 11 0 779586096 861204480 25509 4294967295 134512640 134569956 3221224368 3221214560 1131285293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25509 13086 16 0 210239 0
vsize: 841020
[startup+790.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 77377 51 0 0 25 0 11 0 779586096 861204480 25626 4294967295 134512640 134569956 3221224368 3221214552 1131270350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25626 13086 16 0 210239 0
vsize: 841020
[startup+800.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 78364 51 0 0 25 0 11 0 779586096 861204480 25684 4294967295 134512640 134569956 3221224368 3221214560 1131285151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25684 13086 16 0 210239 0
vsize: 841020
[startup+810.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 79357 52 0 0 25 0 11 0 779586096 861204480 25712 4294967295 134512640 134569956 3221224368 3221214560 1131285426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25712 13086 16 0 210239 0
vsize: 841020
[startup+820.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 80352 52 0 0 25 0 11 0 779586096 861204480 25715 4294967295 134512640 134569956 3221224368 3221214560 1131285151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25715 13086 16 0 210239 0
vsize: 841020
[startup+830.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 81347 52 0 0 25 0 11 0 779586096 861204480 25717 4294967295 134512640 134569956 3221224368 3221214656 1131438109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25717 13086 16 0 210239 0
vsize: 841020
[startup+840.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 82342 53 0 0 25 0 11 0 779586096 861204480 25722 4294967295 134512640 134569956 3221224368 3221214560 1131285371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25722 13086 16 0 210239 0
vsize: 841020
[startup+850.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 83337 54 0 0 25 0 11 0 779586096 861204480 25723 4294967295 134512640 134569956 3221224368 3221214656 1131438133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25723 13086 16 0 210239 0
vsize: 841020
[startup+860.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 84329 54 0 0 25 0 11 0 779586096 861204480 25724 4294967295 134512640 134569956 3221224368 3221214652 1131251266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25724 13086 16 0 210239 0
vsize: 841020
[startup+870.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 85314 55 0 0 25 0 11 0 779586096 861204480 25724 4294967295 134512640 134569956 3221224368 3221214560 1131287158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25724 13086 16 0 210239 0
vsize: 841020
[startup+880.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 86295 55 0 0 25 0 11 0 779586096 861204480 25727 4294967295 134512640 134569956 3221224368 3221214560 1131285438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25727 13086 16 0 210239 0
vsize: 841020
[startup+890.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 87275 56 0 0 25 0 11 0 779586096 861204480 25760 4294967295 134512640 134569956 3221224368 3221214656 1131438109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25760 13086 16 0 210239 0
vsize: 841020
[startup+900.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 88259 56 0 0 25 0 11 0 779586096 861204480 25854 4294967295 134512640 134569956 3221224368 3221214568 1131205844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25854 13086 16 0 210239 0
vsize: 841020
[startup+910.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 89251 57 0 0 25 0 11 0 779586096 861204480 25859 4294967295 134512640 134569956 3221224368 3221214560 1131287135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 25859 13086 16 0 210239 0
vsize: 841020
[startup+920.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 90244 57 0 0 25 0 11 0 779586096 861204480 25865 4294967295 134512640 134569956 3221224368 3221214560 1131287135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25865 13086 16 0 210239 0
vsize: 841020
[startup+930.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 91238 58 0 0 25 0 11 0 779586096 861204480 25882 4294967295 134512640 134569956 3221224368 3221214656 1131445134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25882 13086 16 0 210239 0
vsize: 841020
[startup+940.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 92232 58 0 0 25 0 11 0 779586096 861204480 25886 4294967295 134512640 134569956 3221224368 3221214656 1131439789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25886 13086 16 0 210239 0
vsize: 841020
[startup+950.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 93223 59 0 0 25 0 11 0 779586096 861204480 25887 4294967295 134512640 134569956 3221224368 3221214656 1131438102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25887 13086 16 0 210239 0
vsize: 841020
[startup+960.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 94211 59 0 0 25 0 11 0 779586096 861204480 25890 4294967295 134512640 134569956 3221224368 3221214560 1131285198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25890 13086 16 0 210239 0
vsize: 841020
[startup+970.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 95199 59 0 0 25 0 11 0 779586096 861204480 25898 4294967295 134512640 134569956 3221224368 3221214648 1131484576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210255 25898 13086 16 0 210239 0
vsize: 841020
[startup+980.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 96184 60 0 0 25 0 11 0 779586096 861204480 25919 4294967295 134512640 134569956 3221224368 3221214384 1079721524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25919 13086 16 0 210239 0
vsize: 841020
[startup+990.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 97165 60 0 0 25 0 11 0 779586096 861204480 25954 4294967295 134512640 134569956 3221224368 3221214648 1131251257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25954 13086 16 0 210239 0
vsize: 841020
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18098 0 1 0 98142 61 0 0 25 0 11 0 779586096 861204480 25973 4294967295 134512640 134569956 3221224368 3221214440 1131584867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25973 13086 16 0 210239 0
vsize: 841020
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 99107 61 0 0 25 0 11 0 779586096 861204480 25988 4294967295 134512640 134569956 3221224368 3221214608 1131206608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 25988 13086 16 0 210239 0
vsize: 841020
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 100066 62 0 0 25 0 11 0 779586096 861204480 26020 4294967295 134512640 134569956 3221224368 3221214560 1131494629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 26020 13086 16 0 210239 0
vsize: 841020
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 101021 62 0 0 25 0 11 0 779586096 861204480 26091 4294967295 134512640 134569956 3221224368 3221214648 1131485159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 26091 13086 16 0 210239 0
vsize: 841020
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 101970 62 0 0 25 0 11 0 779586096 861204480 26168 4294967295 134512640 134569956 3221224368 3221214560 1131285935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 26168 13086 16 0 210239 0
vsize: 841020
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 102904 63 0 0 25 0 11 0 779586096 861204480 26321 4294967295 134512640 134569956 3221224368 3221214656 1131438109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 26321 13086 16 0 210239 0
vsize: 841020
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 103838 63 0 0 25 0 11 0 779586096 861204480 26551 4294967295 134512640 134569956 3221224368 3221214568 1131205844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 26551 13086 16 0 210239 0
vsize: 841020
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 104785 64 0 0 25 0 11 0 779586096 861204480 26809 4294967295 134512640 134569956 3221224368 3221214560 1131285293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 26809 13086 16 0 210239 0
vsize: 841020
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 105751 64 0 0 25 0 11 0 779586096 861204480 27044 4294967295 134512640 134569956 3221224368 3221214560 1131285663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 27044 13086 16 0 210239 0
vsize: 841020
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 106737 65 0 0 25 0 11 0 779586096 861204480 27182 4294967295 134512640 134569956 3221224368 3221214656 1131439572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 27182 13086 16 0 210239 0
vsize: 841020
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 107727 65 0 0 25 0 11 0 779586096 861204480 27204 4294967295 134512640 134569956 3221224368 3221214648 1131251250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 27204 13086 16 0 210239 0
vsize: 841020
[startup+1110.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 108717 65 0 0 25 0 11 0 779586096 861204480 27209 4294967295 134512640 134569956 3221224368 3221214656 1131438109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 27209 13086 16 0 210239 0
vsize: 841020
[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 109706 66 0 0 25 0 11 0 779586096 861204480 27218 4294967295 134512640 134569956 3221224368 3221214560 1131285151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 27218 13086 16 0 210239 0
vsize: 841020
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 110695 66 0 0 25 0 11 0 779586096 861204480 27242 4294967295 134512640 134569956 3221224368 3221214656 1131444312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 27242 13086 16 0 210239 0
vsize: 841020
[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 111685 67 0 0 25 0 11 0 779586096 861204480 27266 4294967295 134512640 134569956 3221224368 3221214560 1131286121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 27266 13086 16 0 210239 0
vsize: 841020
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 112676 67 0 0 24 0 11 0 779586096 861204480 27276 4294967295 134512640 134569956 3221224368 3221214560 1131286964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 27276 13086 16 0 210239 0
vsize: 841020
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 113664 68 0 0 25 0 11 0 779586096 861204480 27284 4294967295 134512640 134569956 3221224368 3221214560 1131285176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 27284 13086 16 0 210239 0
vsize: 841020
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 114649 68 0 0 25 0 11 0 779586096 861204480 27297 4294967295 134512640 134569956 3221224368 3221214560 1131494629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 27297 13086 16 0 210239 0
vsize: 841020
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 115635 69 0 0 25 0 11 0 779586096 861204480 27305 4294967295 134512640 134569956 3221224368 3221214652 1131217356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 27305 13086 16 0 210239 0
vsize: 841020
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 116614 69 0 0 25 0 11 0 779586096 861204480 27346 4294967295 134512640 134569956 3221224368 3221214560 1131285752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 27346 13086 16 0 210239 0
vsize: 841020
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 117594 70 0 0 25 0 11 0 779586096 861204480 27366 4294967295 134512640 134569956 3221224368 3221214560 1131495392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 27366 13086 16 0 210239 0
vsize: 841020
[startup+1210.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) S 32080 20224 20223 0 -1 0 18099 0 1 0 118565 70 0 0 25 0 11 0 779586096 861204480 27404 4294967295 134512640 134569956 3221224368 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 27404 13086 16 0 210239 0
vsize: 841020
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 119534 71 0 0 25 0 11 0 779586096 861204480 27468 4294967295 134512640 134569956 3221224368 3221214656 1131440148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 27468 13086 16 0 210239 0
vsize: 841020
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32091
Raw data (stat): 32081 (java) R 32080 20224 20223 0 -1 0 18099 0 1 0 120504 71 0 0 25 0 11 0 779586096 861204480 27533 4294967295 134512640 134569956 3221224368 3221214560 1131217578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210255 27533 13086 16 0 210239 0
vsize: 841020
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.22 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 32093
Raw data (stat): 32081 (java) Z 32080 20224 20223 0 -1 1036 18099 7411 1 0 120507 71 2281 28 25 0 1 0 779586096 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.22
CPU time (s): 1228.9
CPU user time (s): 1227.89
CPU system time (s): 1.00285
CPU usage (%): 99.8925
Max. virtual memory (Kb): 842964
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####