PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg2.opb
MD5SUM	0cd976844df23087580a4e793412c20f
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	6930
Biggest coefficient in the objective function	53730040872960
Number of bits for the biggest coefficient in the objective function	46
Sum of the numbers in the objective function	8516865379203027
Number of bits of the sum of numbers in the objective function	53
Biggest number in a constraint	22763326668800000
Number of bits of the biggest number in a constraint	55
Biggest sum of numbers in a constraint	46271983665442689
Number of bits of the biggest sum of numbers	56
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.080986
Number of variables	9060
Total number of constraints	467
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	467
Minimum length of a constraint	30
Maximum length of a constraint	1440
Trace number 29420

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        726248 kB
Buffers:         25776 kB
Cached:         252656 kB
SwapCached:       3972 kB
Active:          57332 kB
Inactive:       228056 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        725996 kB
SwapTotal:     2097136 kB
SwapFree:      2092844 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6960 kB
Slab:            17320 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 07:48:08 (client local time) WITH STATUS 143 IN 1217.33 SECONDS
stats: 20818 7 1217.33 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/wulflinc1/normalized-mps-v2-20-10-agg2.opb
c reading problem ... done. Time 32.525 ms.
c #vars     9060
c #constraints  489
c starts	: 2
c conflicts	: 212
c decisions	: 4379
c propagations	: 28028
c inspects	: 1937080
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 212
c root simplifications	: 198
s UNKNOWN
c Total CPU time (ms) : 1219.092
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/55 19500
Raw data (stat): 19500 (runsolver) R 19499 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 721998371 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+9.99997 s]
Raw data (loadavg): 0.94 0.98 0.99 2/64 19509
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18008 0 1 0 872 38 0 0 25 0 10 0 721998371 854503424 19371 4294967295 134512640 134569956 3221224368 3221214464 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208619 19371 13086 16 0 208603 0
vsize: 834476
[startup+20.0013 s]
Raw data (loadavg): 1.18 1.03 1.01 2/64 19509
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18033 0 1 0 1666 38 0 0 25 0 10 0 721998371 862015488 21726 4294967295 134512640 134569956 3221224368 3221214712 1131187521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210453 21726 13086 16 0 210437 0
vsize: 841812
[startup+30.0016 s]
Raw data (loadavg): 1.15 1.03 1.01 2/64 19509
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18034 0 1 0 2533 39 0 0 25 0 10 0 721998371 861253632 22399 4294967295 134512640 134569956 3221224368 3221214368 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210267 22399 13086 16 0 210251 0
vsize: 841068
[startup+40.0013 s]
Raw data (loadavg): 1.29 1.06 1.02 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18077 0 1 0 3350 41 0 0 25 0 11 0 721998371 862924800 26098 4294967295 134512640 134569956 3221224368 3221214504 1131321056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210675 26098 13086 16 0 210659 0
vsize: 842700
[startup+50.0027 s]
Raw data (loadavg): 1.32 1.08 1.02 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18078 0 1 0 4332 42 0 0 25 0 11 0 721998371 862748672 26063 4294967295 134512640 134569956 3221224368 3221214160 1131236095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26063 13086 16 0 210616 0
vsize: 842528
[startup+60.0029 s]
Raw data (loadavg): 1.27 1.07 1.02 3/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18078 0 1 0 5319 42 0 0 25 0 11 0 721998371 862748672 26048 4294967295 134512640 134569956 3221224368 3221213488 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26048 13086 16 0 210616 0
vsize: 842528
[startup+70.0038 s]
Raw data (loadavg): 1.23 1.07 1.02 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 6305 42 0 0 25 0 11 0 721998371 862748672 26051 4294967295 134512640 134569956 3221224368 3221214600 1131425287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26051 13086 16 0 210616 0
vsize: 842528
[startup+80.0051 s]
Raw data (loadavg): 1.19 1.07 1.02 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 7291 43 0 0 25 0 11 0 721998371 862748672 26127 4294967295 134512640 134569956 3221224368 3221214464 1131238969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26127 13086 16 0 210616 0
vsize: 842528
[startup+90.0043 s]
Raw data (loadavg): 1.16 1.06 1.02 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 8282 43 0 0 25 0 11 0 721998371 862748672 26154 4294967295 134512640 134569956 3221224368 3221214680 1131399372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26154 13086 16 0 210616 0
vsize: 842528
[startup+100.004 s]
Raw data (loadavg): 1.14 1.06 1.02 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 9273 43 0 0 25 0 11 0 721998371 862748672 26178 4294967295 134512640 134569956 3221224368 3221214528 1131320920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26178 13086 16 0 210616 0
vsize: 842528
[startup+110.006 s]
Raw data (loadavg): 1.11 1.06 1.02 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 10266 44 0 0 25 0 11 0 721998371 862748672 26204 4294967295 134512640 134569956 3221224368 3221214680 1131401776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26204 13086 16 0 210616 0
vsize: 842528
[startup+120.007 s]
Raw data (loadavg): 1.10 1.06 1.02 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 11259 44 0 0 25 0 11 0 721998371 862748672 26221 4294967295 134512640 134569956 3221224368 3221214616 1131358189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26221 13086 16 0 210616 0
vsize: 842528
[startup+130.007 s]
Raw data (loadavg): 1.08 1.05 1.02 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 12248 44 0 0 25 0 11 0 721998371 862748672 26238 4294967295 134512640 134569956 3221224368 3221214528 1131322350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26238 13086 16 0 210616 0
vsize: 842528
[startup+140.007 s]
Raw data (loadavg): 1.07 1.05 1.02 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 13241 44 0 0 25 0 11 0 721998371 862748672 26250 4294967295 134512640 134569956 3221224368 3221214616 1131358015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26250 13086 16 0 210616 0
vsize: 842528
[startup+150.007 s]
Raw data (loadavg): 1.06 1.05 1.01 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 14233 45 0 0 25 0 11 0 721998371 862748672 26260 4294967295 134512640 134569956 3221224368 3221214528 1131238373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26260 13086 16 0 210616 0
vsize: 842528
[startup+160.007 s]
Raw data (loadavg): 1.05 1.05 1.01 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 15225 46 0 0 25 0 11 0 721998371 862748672 26274 4294967295 134512640 134569956 3221224368 3221214528 1131321065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26274 13086 16 0 210616 0
vsize: 842528
[startup+170.008 s]
Raw data (loadavg): 1.04 1.05 1.01 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 16219 46 0 0 25 0 11 0 721998371 862748672 26302 4294967295 134512640 134569956 3221224368 3221214680 1131401302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26302 13086 16 0 210616 0
vsize: 842528
[startup+180.008 s]
Raw data (loadavg): 1.03 1.04 1.01 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 17213 46 0 0 25 0 11 0 721998371 862748672 26316 4294967295 134512640 134569956 3221224368 3221214528 1131321065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26316 13086 16 0 210616 0
vsize: 842528
[startup+190.008 s]
Raw data (loadavg): 1.03 1.04 1.01 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 18207 47 0 0 25 0 11 0 721998371 862748672 26323 4294967295 134512640 134569956 3221224368 3221214680 1131399379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26323 13086 16 0 210616 0
vsize: 842528
[startup+200.009 s]
Raw data (loadavg): 1.02 1.04 1.01 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 19203 47 0 0 25 0 11 0 721998371 862748672 26332 4294967295 134512640 134569956 3221224368 3221214528 1131321172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26332 13086 16 0 210616 0
vsize: 842528
[startup+210.01 s]
Raw data (loadavg): 1.02 1.04 1.01 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 20197 47 0 0 25 0 11 0 721998371 862748672 26343 4294967295 134512640 134569956 3221224368 3221214680 1131399151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26343 13086 16 0 210616 0
vsize: 842528
[startup+220.011 s]
Raw data (loadavg): 1.02 1.04 1.01 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 21191 47 0 0 25 0 11 0 721998371 862748672 26349 4294967295 134512640 134569956 3221224368 3221214528 1131322365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26349 13086 16 0 210616 0
vsize: 842528
[startup+230.011 s]
Raw data (loadavg): 1.01 1.04 1.01 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 22186 48 0 0 25 0 11 0 721998371 862748672 26358 4294967295 134512640 134569956 3221224368 3221214528 1131322328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26358 13086 16 0 210616 0
vsize: 842528
[startup+240.01 s]
Raw data (loadavg): 1.01 1.03 1.01 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 23181 48 0 0 25 0 11 0 721998371 862748672 26365 4294967295 134512640 134569956 3221224368 3221214528 1131320909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26365 13086 16 0 210616 0
vsize: 842528
[startup+250.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 24176 49 0 0 25 0 11 0 721998371 862748672 26371 4294967295 134512640 134569956 3221224368 3221214616 1131357996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26371 13086 16 0 210616 0
vsize: 842528
[startup+260.011 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 25170 49 0 0 25 0 11 0 721998371 862748672 26380 4294967295 134512640 134569956 3221224368 3221214676 1131357836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26380 13086 16 0 210616 0
vsize: 842528
[startup+270.011 s]
Raw data (loadavg): 1.00 1.03 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 26165 50 0 0 25 0 11 0 721998371 862748672 26387 4294967295 134512640 134569956 3221224368 3221214616 1131357860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26387 13086 16 0 210616 0
vsize: 842528
[startup+280.011 s]
Raw data (loadavg): 1.00 1.03 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 27160 50 0 0 25 0 11 0 721998371 862748672 26393 4294967295 134512640 134569956 3221224368 3221214680 1131400662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26393 13086 16 0 210616 0
vsize: 842528
[startup+290.011 s]
Raw data (loadavg): 1.00 1.03 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 28155 50 0 0 25 0 11 0 721998371 862748672 26399 4294967295 134512640 134569956 3221224368 3221214528 1131321065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26399 13086 16 0 210616 0
vsize: 842528
[startup+300.012 s]
Raw data (loadavg): 1.00 1.03 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 29150 50 0 0 25 0 11 0 721998371 862748672 26405 4294967295 134512640 134569956 3221224368 3221214528 1131321241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26405 13086 16 0 210616 0
vsize: 842528
[startup+310.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 30144 51 0 0 25 0 11 0 721998371 862748672 26412 4294967295 134512640 134569956 3221224368 3221214528 1131321815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26412 13086 16 0 210616 0
vsize: 842528
[startup+320.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 31140 51 0 0 25 0 11 0 721998371 862748672 26418 4294967295 134512640 134569956 3221224368 3221214680 1131399379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26418 13086 16 0 210616 0
vsize: 842528
[startup+330.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 32134 52 0 0 25 0 11 0 721998371 862748672 26424 4294967295 134512640 134569956 3221224368 3221214616 1131358204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26424 13086 16 0 210616 0
vsize: 842528
[startup+340.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 33129 52 0 0 25 0 11 0 721998371 862748672 26431 4294967295 134512640 134569956 3221224368 3221214612 1131239399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26431 13086 16 0 210616 0
vsize: 842528
[startup+350.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 34122 53 0 0 25 0 11 0 721998371 862748672 26437 4294967295 134512640 134569956 3221224368 3221214616 1131358189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26437 13086 16 0 210616 0
vsize: 842528
[startup+360.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 35114 53 0 0 25 0 11 0 721998371 862748672 26441 4294967295 134512640 134569956 3221224368 3221214680 1131401445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26441 13086 16 0 210616 0
vsize: 842528
[startup+370.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 36106 53 0 0 25 0 11 0 721998371 862748672 26454 4294967295 134512640 134569956 3221224368 3221214528 1131320987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26454 13086 16 0 210616 0
vsize: 842528
[startup+380.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 37098 53 0 0 25 0 11 0 721998371 862748672 26481 4294967295 134512640 134569956 3221224368 3221214616 1131358291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26481 13086 16 0 210616 0
vsize: 842528
[startup+390.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 38092 53 0 0 25 0 11 0 721998371 862748672 26499 4294967295 134512640 134569956 3221224368 3221214680 1131401842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26499 13086 16 0 210616 0
vsize: 842528
[startup+400.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 39086 53 0 0 25 0 11 0 721998371 862748672 26507 4294967295 134512640 134569956 3221224368 3221214680 1131400291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26507 13086 16 0 210616 0
vsize: 842528
[startup+410.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 40081 54 0 0 25 0 11 0 721998371 862748672 26517 4294967295 134512640 134569956 3221224368 3221214680 1131399330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26517 13086 16 0 210616 0
vsize: 842528
[startup+420.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 41075 54 0 0 25 0 11 0 721998371 862748672 26524 4294967295 134512640 134569956 3221224368 3221214680 1131400528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26524 13086 16 0 210616 0
vsize: 842528
[startup+430.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 42069 55 0 0 25 0 11 0 721998371 862748672 26527 4294967295 134512640 134569956 3221224368 3221214528 1131321221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26527 13086 16 0 210616 0
vsize: 842528
[startup+440.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 43064 55 0 0 25 0 11 0 721998371 862748672 26533 4294967295 134512640 134569956 3221224368 3221214680 1131399444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26533 13086 16 0 210616 0
vsize: 842528
[startup+450.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 44059 55 0 0 25 0 11 0 721998371 862748672 26537 4294967295 134512640 134569956 3221224368 3221214528 1131321253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26537 13086 16 0 210616 0
vsize: 842528
[startup+460.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 45053 56 0 0 25 0 11 0 721998371 862748672 26543 4294967295 134512640 134569956 3221224368 3221214616 1131358001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26543 13086 16 0 210616 0
vsize: 842528
[startup+470.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 46047 57 0 0 25 0 11 0 721998371 862748672 26549 4294967295 134512640 134569956 3221224368 3221214680 1131399379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26549 13086 16 0 210616 0
vsize: 842528
[startup+480.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 47042 57 0 0 25 0 11 0 721998371 862748672 26552 4294967295 134512640 134569956 3221224368 3221214680 1131399444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26552 13086 16 0 210616 0
vsize: 842528
[startup+490.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 48036 58 0 0 25 0 11 0 721998371 862748672 26555 4294967295 134512640 134569956 3221224368 3221214616 1131357862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26555 13086 16 0 210616 0
vsize: 842528
[startup+500.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 49031 58 0 0 25 0 11 0 721998371 862748672 26561 4294967295 134512640 134569956 3221224368 3221214680 1131400239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26561 13086 16 0 210616 0
vsize: 842528
[startup+510.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 50026 58 0 0 25 0 11 0 721998371 862748672 26565 4294967295 134512640 134569956 3221224368 3221214680 1131401776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26565 13086 16 0 210616 0
vsize: 842528
[startup+520.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 51020 59 0 0 25 0 11 0 721998371 862748672 26571 4294967295 134512640 134569956 3221224368 3221214616 1131358149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26571 13086 16 0 210616 0
vsize: 842528
[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 52014 59 0 0 25 0 11 0 721998371 862748672 26574 4294967295 134512640 134569956 3221224368 3221214528 1131321079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26574 13086 16 0 210616 0
vsize: 842528
[startup+540.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 53009 59 0 0 25 0 11 0 721998371 862748672 26580 4294967295 134512640 134569956 3221224368 3221214528 1131321019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26580 13086 16 0 210616 0
vsize: 842528
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 54003 60 0 0 25 0 11 0 721998371 862748672 26583 4294967295 134512640 134569956 3221224368 3221214616 1131358015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26583 13086 16 0 210616 0
vsize: 842528
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 54998 60 0 0 25 0 11 0 721998371 862748672 26587 4294967295 134512640 134569956 3221224368 3221214616 1131357921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26587 13086 16 0 210616 0
vsize: 842528
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 55992 60 0 0 25 0 11 0 721998371 862748672 26593 4294967295 134512640 134569956 3221224368 3221214612 1131238304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26593 13086 16 0 210616 0
vsize: 842528
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 56987 61 0 0 25 0 11 0 721998371 862748672 26596 4294967295 134512640 134569956 3221224368 3221214528 1131321190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26596 13086 16 0 210616 0
vsize: 842528
[startup+590.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 57982 61 0 0 25 0 11 0 721998371 862748672 26602 4294967295 134512640 134569956 3221224368 3221214528 1131322292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26602 13086 16 0 210616 0
vsize: 842528
[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 58976 62 0 0 25 0 11 0 721998371 862748672 26605 4294967295 134512640 134569956 3221224368 3221214528 1131322384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26605 13086 16 0 210616 0
vsize: 842528
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 59971 62 0 0 25 0 11 0 721998371 862748672 26609 4294967295 134512640 134569956 3221224368 3221214528 1131321065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26609 13086 16 0 210616 0
vsize: 842528
[startup+620.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 60965 62 0 0 25 0 11 0 721998371 862748672 26612 4294967295 134512640 134569956 3221224368 3221214616 1131357959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26612 13086 16 0 210616 0
vsize: 842528
[startup+630.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 61959 62 0 0 25 0 11 0 721998371 862748672 26618 4294967295 134512640 134569956 3221224368 3221214616 1131358277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26618 13086 16 0 210616 0
vsize: 842528
[startup+640.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 62954 63 0 0 25 0 11 0 721998371 862748672 26621 4294967295 134512640 134569956 3221224368 3221214616 1131358326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26621 13086 16 0 210616 0
vsize: 842528
[startup+650.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 63949 63 0 0 25 0 11 0 721998371 862748672 26624 4294967295 134512640 134569956 3221224368 3221214616 1131358241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26624 13086 16 0 210616 0
vsize: 842528
[startup+660.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 64944 63 0 0 25 0 11 0 721998371 862748672 26630 4294967295 134512640 134569956 3221224368 3221214616 1131357872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26630 13086 16 0 210616 0
vsize: 842528
[startup+670.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 65938 64 0 0 25 0 11 0 721998371 862748672 26634 4294967295 134512640 134569956 3221224368 3221214680 1131399444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26634 13086 16 0 210616 0
vsize: 842528
[startup+680.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 66933 64 0 0 25 0 11 0 721998371 862748672 26637 4294967295 134512640 134569956 3221224368 3221214616 1131357857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26637 13086 16 0 210616 0
vsize: 842528
[startup+690.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 67927 64 0 0 25 0 11 0 721998371 862748672 26640 4294967295 134512640 134569956 3221224368 3221214612 1131238304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26640 13086 16 0 210616 0
vsize: 842528
[startup+700.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 68922 64 0 0 25 0 11 0 721998371 862748672 26646 4294967295 134512640 134569956 3221224368 3221214676 1131358505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26646 13086 16 0 210616 0
vsize: 842528
[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 69916 65 0 0 25 0 11 0 721998371 862748672 26649 4294967295 134512640 134569956 3221224368 3221214528 1131322308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26649 13086 16 0 210616 0
vsize: 842528
[startup+720.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 70911 65 0 0 25 0 11 0 721998371 862748672 26652 4294967295 134512640 134569956 3221224368 3221214680 1131402578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26652 13086 16 0 210616 0
vsize: 842528
[startup+730.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 71905 65 0 0 25 0 11 0 721998371 862748672 26655 4294967295 134512640 134569956 3221224368 3221214528 1131238772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26655 13086 16 0 210616 0
vsize: 842528
[startup+740.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 72900 65 0 0 25 0 11 0 721998371 862748672 26658 4294967295 134512640 134569956 3221224368 3221214680 1131399444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26658 13086 16 0 210616 0
vsize: 842528
[startup+750.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 73895 65 0 0 25 0 11 0 721998371 862748672 26662 4294967295 134512640 134569956 3221224368 3221214528 1131321253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26662 13086 16 0 210616 0
vsize: 842528
[startup+760.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 74890 65 0 0 25 0 11 0 721998371 862748672 26668 4294967295 134512640 134569956 3221224368 3221214528 1131321265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26668 13086 16 0 210616 0
vsize: 842528
[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 75884 66 0 0 25 0 11 0 721998371 862748672 26671 4294967295 134512640 134569956 3221224368 3221214616 1131358326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26671 13086 16 0 210616 0
vsize: 842528
[startup+780.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 76878 66 0 0 25 0 11 0 721998371 862748672 26674 4294967295 134512640 134569956 3221224368 3221214528 1131321702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26674 13086 16 0 210616 0
vsize: 842528
[startup+790.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 77873 67 0 0 25 0 11 0 721998371 862748672 26677 4294967295 134512640 134569956 3221224368 3221214528 1131321135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26677 13086 16 0 210616 0
vsize: 842528
[startup+800.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 78867 67 0 0 25 0 11 0 721998371 862748672 26680 4294967295 134512640 134569956 3221224368 3221214680 1131399352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26680 13086 16 0 210616 0
vsize: 842528
[startup+810.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 79861 68 0 0 25 0 11 0 721998371 862748672 26683 4294967295 134512640 134569956 3221224368 3221214680 1131399372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26683 13086 16 0 210616 0
vsize: 842528
[startup+820.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 80856 68 0 0 25 0 11 0 721998371 862748672 26686 4294967295 134512640 134569956 3221224368 3221214680 1131399444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26686 13086 16 0 210616 0
vsize: 842528
[startup+830.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 81850 69 0 0 25 0 11 0 721998371 862748672 26693 4294967295 134512640 134569956 3221224368 3221214680 1131399455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26693 13086 16 0 210616 0
vsize: 842528
[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 82844 69 0 0 25 0 11 0 721998371 862748672 26696 4294967295 134512640 134569956 3221224368 3221214680 1131399379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26696 13086 16 0 210616 0
vsize: 842528
[startup+850.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 83839 69 0 0 25 0 11 0 721998371 862748672 26699 4294967295 134512640 134569956 3221224368 3221214616 1131358123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26699 13086 16 0 210616 0
vsize: 842528
[startup+860.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 84834 69 0 0 25 0 11 0 721998371 862748672 26702 4294967295 134512640 134569956 3221224368 3221214528 1131321019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26702 13086 16 0 210616 0
vsize: 842528
[startup+870.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 85828 70 0 0 25 0 11 0 721998371 862748672 26705 4294967295 134512640 134569956 3221224368 3221214616 1131357890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26705 13086 16 0 210616 0
vsize: 842528
[startup+880.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 86822 70 0 0 25 0 11 0 721998371 862748672 26708 4294967295 134512640 134569956 3221224368 3221214528 1131321881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26708 13086 16 0 210616 0
vsize: 842528
[startup+890.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 87817 70 0 0 25 0 11 0 721998371 862748672 26711 4294967295 134512640 134569956 3221224368 3221214680 1131399379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26711 13086 16 0 210616 0
vsize: 842528
[startup+900.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 88812 71 0 0 25 0 11 0 721998371 862748672 26714 4294967295 134512640 134569956 3221224368 3221214528 1131321065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26714 13086 16 0 210616 0
vsize: 842528
[startup+910.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 89806 71 0 0 25 0 11 0 721998371 862748672 26717 4294967295 134512640 134569956 3221224368 3221214528 1131321253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26717 13086 16 0 210616 0
vsize: 842528
[startup+920.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 90800 71 0 0 25 0 11 0 721998371 862748672 26720 4294967295 134512640 134569956 3221224368 3221214528 1131322165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26720 13086 16 0 210616 0
vsize: 842528
[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 91795 71 0 0 25 0 11 0 721998371 862748672 26724 4294967295 134512640 134569956 3221224368 3221214680 1131400666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26724 13086 16 0 210616 0
vsize: 842528
[startup+940.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 92789 72 0 0 25 0 11 0 721998371 862748672 26727 4294967295 134512640 134569956 3221224368 3221214680 1131399444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26727 13086 16 0 210616 0
vsize: 842528
[startup+950.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 93784 72 0 0 25 0 11 0 721998371 862748672 26730 4294967295 134512640 134569956 3221224368 3221214616 1131357853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26730 13086 16 0 210616 0
vsize: 842528
[startup+960.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 94778 72 0 0 25 0 11 0 721998371 862748672 26733 4294967295 134512640 134569956 3221224368 3221214616 1131357939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26733 13086 16 0 210616 0
vsize: 842528
[startup+970.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 95773 73 0 0 25 0 11 0 721998371 862748672 26737 4294967295 134512640 134569956 3221224368 3221214528 1131321065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26737 13086 16 0 210616 0
vsize: 842528
[startup+980.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 96767 73 0 0 25 0 11 0 721998371 862748672 26740 4294967295 134512640 134569956 3221224368 3221214680 1131399444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26740 13086 16 0 210616 0
vsize: 842528
[startup+990.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 97761 73 0 0 25 0 11 0 721998371 862748672 26743 4294967295 134512640 134569956 3221224368 3221214528 1131320968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26743 13086 16 0 210616 0
vsize: 842528
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 98756 73 0 0 25 0 11 0 721998371 862748672 26746 4294967295 134512640 134569956 3221224368 3221214680 1131399465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26746 13086 16 0 210616 0
vsize: 842528
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 99750 74 0 0 25 0 11 0 721998371 862748672 26749 4294967295 134512640 134569956 3221224368 3221214680 1131399372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26749 13086 16 0 210616 0
vsize: 842528
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 100744 74 0 0 25 0 11 0 721998371 862748672 26752 4294967295 134512640 134569956 3221224368 3221214528 1131322328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210632 26752 13086 16 0 210616 0
vsize: 842528
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 101739 74 0 0 25 0 11 0 721998371 862748672 26756 4294967295 134512640 134569956 3221224368 3221214680 1131400532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26756 13086 16 0 210616 0
vsize: 842528
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 102733 74 0 0 25 0 11 0 721998371 862748672 26759 4294967295 134512640 134569956 3221224368 3221214680 1131402651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26759 13086 16 0 210616 0
vsize: 842528
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 103728 74 0 0 25 0 11 0 721998371 862748672 26762 4294967295 134512640 134569956 3221224368 3221214528 1131321065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26762 13086 16 0 210616 0
vsize: 842528
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 104723 74 0 0 25 0 11 0 721998371 862748672 26766 4294967295 134512640 134569956 3221224368 3221214528 1131321253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26766 13086 16 0 210616 0
vsize: 842528
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 105718 74 0 0 25 0 11 0 721998371 862748672 26769 4294967295 134512640 134569956 3221224368 3221214616 1131357890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26769 13086 16 0 210616 0
vsize: 842528
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 106712 74 0 0 25 0 11 0 721998371 862748672 26772 4294967295 134512640 134569956 3221224368 3221214528 1131320973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26772 13086 16 0 210616 0
vsize: 842528
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 107707 74 0 0 25 0 11 0 721998371 862748672 26775 4294967295 134512640 134569956 3221224368 3221214680 1131399379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26775 13086 16 0 210616 0
vsize: 842528
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 108702 74 0 0 25 0 11 0 721998371 862748672 26778 4294967295 134512640 134569956 3221224368 3221214616 1131358180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26778 13086 16 0 210616 0
vsize: 842528
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 109696 75 0 0 25 0 11 0 721998371 862748672 26782 4294967295 134512640 134569956 3221224368 3221214528 1131322341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26782 13086 16 0 210616 0
vsize: 842528
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 110690 75 0 0 25 0 11 0 721998371 862748672 26785 4294967295 134512640 134569956 3221224368 3221214616 1131358232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26785 13086 16 0 210616 0
vsize: 842528
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 111685 75 0 0 25 0 11 0 721998371 862748672 26788 4294967295 134512640 134569956 3221224368 3221214528 1131320971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26788 13086 16 0 210616 0
vsize: 842528
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 112678 75 0 0 25 0 11 0 721998371 862748672 26793 4294967295 134512640 134569956 3221224368 3221214680 1131401358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26793 13086 16 0 210616 0
vsize: 842528
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 113670 75 0 0 25 0 11 0 721998371 862748672 26797 4294967295 134512640 134569956 3221224368 3221214680 1131399379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26797 13086 16 0 210616 0
vsize: 842528
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 114661 75 0 0 25 0 11 0 721998371 862748672 26812 4294967295 134512640 134569956 3221224368 3221214616 1131358334 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26812 13086 16 0 210616 0
vsize: 842528
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 115651 75 0 0 25 0 11 0 721998371 862748672 26831 4294967295 134512640 134569956 3221224368 3221214616 1131358305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26831 13086 16 0 210616 0
vsize: 842528
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 116643 75 0 0 25 0 11 0 721998371 862748672 26836 4294967295 134512640 134569956 3221224368 3221214616 1131357862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26836 13086 16 0 210616 0
vsize: 842528
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 117635 75 0 0 25 0 11 0 721998371 862748672 26865 4294967295 134512640 134569956 3221224368 3221214528 1131238780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26865 13086 16 0 210616 0
vsize: 842528
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 118628 76 0 0 25 0 11 0 721998371 862748672 26884 4294967295 134512640 134569956 3221224368 3221214680 1131401813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26884 13086 16 0 210616 0
vsize: 842528
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 119621 76 0 0 25 0 11 0 721998371 862748672 26891 4294967295 134512640 134569956 3221224368 3221214680 1131399379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26891 13086 16 0 210616 0
vsize: 842528
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19510
Raw data (stat): 19500 (java) R 19499 8378 8377 0 -1 0 18080 0 1 0 120614 76 0 0 25 0 11 0 721998371 862748672 26903 4294967295 134512640 134569956 3221224368 3221214680 1131399151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210632 26903 13086 16 0 210616 0
vsize: 842528
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 19512
Raw data (stat): 19500 (java) Z 19499 8378 8377 0 -1 1036 18080 6647 1 0 120618 76 1010 27 25 0 1 0 721998371 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): 1220.14
CPU time (s): 1217.33
CPU user time (s): 1216.29
CPU system time (s): 1.04184
CPU usage (%): 99.7693
Max. virtual memory (Kb): 842700
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####