PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-rout.opb
MD5SUM	46c175563919d1fe493ed3da6f49d52f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1251872
Optimality of the best value was proved	NO
Number of terms in the objective function	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	33812000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	166074535
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1585.77
Number of variables	5151
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	617
Trace number 29994

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        626320 kB
Buffers:         34292 kB
Cached:         348860 kB
SwapCached:        572 kB
Active:          57344 kB
Inactive:       331360 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        626068 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            14008 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 13:55:41 (client local time) WITH STATUS 143 IN 1247.83 SECONDS
stats: 21396 7 1247.83 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-rout.opb
c reading problem ... done. Time 11.809 ms.
c #vars     5151
c #constraints  337
c starts	: 6
c conflicts	: 1326
c decisions	: 5622
c propagations	: 88806
c inspects	: 1308873
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1326
c root simplifications	: 20
s UNKNOWN
c Total CPU time (ms) : 1249.096
#### 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.99 1.00 1.00 2/54 1435
Raw data (stat): 1435 (runsolver) R 1434 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839274338 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99962 s]
Raw data (loadavg): 1.07 1.02 1.00 4/63 1444
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18022 0 1 0 788 38 0 0 25 0 10 0 839274338 867753984 22646 4294967295 134512640 134569956 3221224368 3221213304 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211854 22646 13086 16 0 211838 0
vsize: 847416
[startup+20.0004 s]
Raw data (loadavg): 1.14 1.03 1.01 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18061 0 1 0 1644 39 0 0 25 0 11 0 839274338 866131968 23182 4294967295 134512640 134569956 3221224368 3221214696 1131251525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 23182 13086 16 0 211442 0
vsize: 845832
[startup+30.0017 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18061 0 1 0 2554 39 0 0 23 0 11 0 839274338 866131968 23196 4294967295 134512640 134569956 3221224368 3221214608 1131192409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 23196 13086 16 0 211442 0
vsize: 845832
[startup+40.002 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18062 0 1 0 3460 39 0 0 19 0 11 0 839274338 866131968 23598 4294967295 134512640 134569956 3221224368 3221214696 1131251428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 23598 13086 16 0 211442 0
vsize: 845832
[startup+50.0029 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18062 0 1 0 4425 39 0 0 25 0 11 0 839274338 866131968 24102 4294967295 134512640 134569956 3221224368 3221214696 1131250976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 24102 13086 16 0 211442 0
vsize: 845832
[startup+60.003 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18062 0 1 0 5413 40 0 0 25 0 11 0 839274338 866131968 24115 4294967295 134512640 134569956 3221224368 3221214696 1131250604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 24115 13086 16 0 211442 0
vsize: 845832
[startup+70.0034 s]
Raw data (loadavg): 1.13 1.04 1.01 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18062 0 1 0 6398 40 0 0 24 0 11 0 839274338 866131968 24142 4294967295 134512640 134569956 3221224368 3221214696 1131250574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 24142 13086 16 0 211442 0
vsize: 845832
[startup+80.0046 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18062 0 1 0 7388 40 0 0 25 0 11 0 839274338 866131968 24181 4294967295 134512640 134569956 3221224368 3221214696 1131251428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 24181 13086 16 0 211442 0
vsize: 845832
[startup+90.0054 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18062 0 1 0 8373 40 0 0 25 0 11 0 839274338 866131968 24207 4294967295 134512640 134569956 3221224368 3221214776 1131316913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 24207 13086 16 0 211442 0
vsize: 845832
[startup+100.006 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18062 0 1 0 9349 40 0 0 24 0 11 0 839274338 866131968 24234 4294967295 134512640 134569956 3221224368 3221214796 1131250515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 24234 13086 16 0 211442 0
vsize: 845832
[startup+110.007 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18063 0 1 0 10324 40 0 0 25 0 11 0 839274338 866131968 24246 4294967295 134512640 134569956 3221224368 3221214696 1131250521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 24246 13086 16 0 211442 0
vsize: 845832
[startup+120.008 s]
Raw data (loadavg): 1.14 1.05 1.01 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18063 0 1 0 11263 41 0 0 25 0 11 0 839274338 866131968 24336 4294967295 134512640 134569956 3221224368 3221214696 1131251422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 24336 13086 16 0 211442 0
vsize: 845832
[startup+130.008 s]
Raw data (loadavg): 1.11 1.05 1.01 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18063 0 1 0 12231 41 0 0 25 0 11 0 839274338 866131968 24434 4294967295 134512640 134569956 3221224368 3221214800 1131308444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 24434 13086 16 0 211442 0
vsize: 845832
[startup+140.009 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18063 0 1 0 13200 41 0 0 25 0 11 0 839274338 866131968 24529 4294967295 134512640 134569956 3221224368 3221214696 1131250955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 24529 13086 16 0 211442 0
vsize: 845832
[startup+150.01 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18063 0 1 0 14175 41 0 0 25 0 11 0 839274338 866131968 24650 4294967295 134512640 134569956 3221224368 3221214696 1131250861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 24650 13086 16 0 211442 0
vsize: 845832
[startup+160.01 s]
Raw data (loadavg): 1.07 1.04 1.01 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18063 0 1 0 15159 41 0 0 25 0 11 0 839274338 866131968 24710 4294967295 134512640 134569956 3221224368 3221214696 1131251226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 24710 13086 16 0 211442 0
vsize: 845832
[startup+170.01 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 16150 41 0 0 25 0 11 0 839274338 866131968 24755 4294967295 134512640 134569956 3221224368 3221214696 1131251525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 24755 13086 16 0 211442 0
vsize: 845832
[startup+180.01 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 17143 41 0 0 25 0 11 0 839274338 866131968 24773 4294967295 134512640 134569956 3221224368 3221214656 1131503192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 24773 13086 16 0 211442 0
vsize: 845832
[startup+190.011 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 18129 41 0 0 25 0 11 0 839274338 866131968 24778 4294967295 134512640 134569956 3221224368 3221214648 1131469420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 24778 13086 16 0 211442 0
vsize: 845832
[startup+200.014 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 19105 41 0 0 24 0 11 0 839274338 866131968 24779 4294967295 134512640 134569956 3221224368 3221214648 1131469506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 24779 13086 16 0 211442 0
vsize: 845832
[startup+210.014 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 20079 41 0 0 25 0 11 0 839274338 866131968 24785 4294967295 134512640 134569956 3221224368 3221214552 1131221751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 24785 13086 16 0 211442 0
vsize: 845832
[startup+220.014 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 21043 41 0 0 25 0 11 0 839274338 866131968 24793 4294967295 134512640 134569956 3221224368 3221214696 1131250955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 24793 13086 16 0 211442 0
vsize: 845832
[startup+230.014 s]
Raw data (loadavg): 1.09 1.04 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 21996 41 0 0 25 0 11 0 839274338 866131968 24927 4294967295 134512640 134569956 3221224368 3221214568 1131505980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 24927 13086 16 0 211442 0
vsize: 845832
[startup+240.015 s]
Raw data (loadavg): 1.08 1.04 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 22956 41 0 0 25 0 11 0 839274338 866131968 25052 4294967295 134512640 134569956 3221224368 3221214648 1131181928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 25052 13086 16 0 211442 0
vsize: 845832
[startup+250.015 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 23895 41 0 0 25 0 11 0 839274338 866131968 25236 4294967295 134512640 134569956 3221224368 3221214696 1131250611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 25236 13086 16 0 211442 0
vsize: 845832
[startup+260.015 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 24860 42 0 0 25 0 11 0 839274338 866131968 25389 4294967295 134512640 134569956 3221224368 3221214744 1131427833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 25389 13086 16 0 211442 0
vsize: 845832
[startup+270.015 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 25825 42 0 0 25 0 11 0 839274338 866131968 25614 4294967295 134512640 134569956 3221224368 3221214696 1131250991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 25614 13086 16 0 211442 0
vsize: 845832
[startup+280.015 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 26807 42 0 0 25 0 11 0 839274338 866131968 25732 4294967295 134512640 134569956 3221224368 3221214696 1131250991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 25732 13086 16 0 211442 0
vsize: 845832
[startup+290.016 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 27790 42 0 0 25 0 11 0 839274338 866131968 25763 4294967295 134512640 134569956 3221224368 3221214696 1131250521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 25763 13086 16 0 211442 0
vsize: 845832
[startup+300.019 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 28764 42 0 0 25 0 11 0 839274338 866131968 25803 4294967295 134512640 134569956 3221224368 3221214752 1131172056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 25803 13086 16 0 211442 0
vsize: 845832
[startup+310.018 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 29727 42 0 0 25 0 11 0 839274338 866131968 25814 4294967295 134512640 134569956 3221224368 3221214608 1131192388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 25814 13086 16 0 211442 0
vsize: 845832
[startup+320.018 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 30662 42 0 0 25 0 11 0 839274338 866131968 25840 4294967295 134512640 134569956 3221224368 3221214752 1131171904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 25840 13086 16 0 211442 0
vsize: 845832
[startup+330.019 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 31605 43 0 0 25 0 11 0 839274338 866131968 26058 4294967295 134512640 134569956 3221224368 3221214620 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 26058 13086 16 0 211442 0
vsize: 845832
[startup+340.02 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 32562 43 0 0 25 0 11 0 839274338 866131968 26251 4294967295 134512640 134569956 3221224368 3221214696 1131250953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 26251 13086 16 0 211442 0
vsize: 845832
[startup+350.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 33517 43 0 0 25 0 11 0 839274338 866131968 26433 4294967295 134512640 134569956 3221224368 3221214800 1131308121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 26433 13086 16 0 211442 0
vsize: 845832
[startup+360.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 34469 43 0 0 25 0 11 0 839274338 866131968 26459 4294967295 134512640 134569956 3221224368 3221214648 1131469923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 26459 13086 16 0 211442 0
vsize: 845832
[startup+370.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 35408 43 0 0 25 0 11 0 839274338 866131968 26562 4294967295 134512640 134569956 3221224368 3221214696 1131250687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 26562 13086 16 0 211442 0
vsize: 845832
[startup+380.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 36335 43 0 0 25 0 11 0 839274338 866131968 26804 4294967295 134512640 134569956 3221224368 3221214696 1131250604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 26804 13086 16 0 211442 0
vsize: 845832
[startup+390.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 37287 43 0 0 25 0 11 0 839274338 866131968 27045 4294967295 134512640 134569956 3221224368 3221214752 1131171921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 27045 13086 16 0 211442 0
vsize: 845832
[startup+400.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 38264 43 0 0 25 0 11 0 839274338 866131968 27339 4294967295 134512640 134569956 3221224368 3221214568 1131505982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 27339 13086 16 0 211442 0
vsize: 845832
[startup+410.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 39244 43 0 0 25 0 11 0 839274338 866131968 27347 4294967295 134512640 134569956 3221224368 3221214696 1131251242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 27347 13086 16 0 211442 0
vsize: 845832
[startup+420.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 40218 43 0 0 25 0 11 0 839274338 866131968 27362 4294967295 134512640 134569956 3221224368 3221214696 1131250953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 27362 13086 16 0 211442 0
vsize: 845832
[startup+430.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 41185 43 0 0 25 0 11 0 839274338 866131968 27378 4294967295 134512640 134569956 3221224368 3221214552 1131221723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 27378 13086 16 0 211442 0
vsize: 845832
[startup+440.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 42142 44 0 0 25 0 11 0 839274338 866131968 27461 4294967295 134512640 134569956 3221224368 3221214696 1131250533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 27461 13086 16 0 211442 0
vsize: 845832
[startup+450.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 43102 44 0 0 25 0 11 0 839274338 866131968 27585 4294967295 134512640 134569956 3221224368 3221214648 1131469787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 27585 13086 16 0 211442 0
vsize: 845832
[startup+460.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 44058 44 0 0 25 0 11 0 839274338 866131968 27726 4294967295 134512640 134569956 3221224368 3221214568 1131505369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 27726 13086 16 0 211442 0
vsize: 845832
[startup+470.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 45014 44 0 0 25 0 11 0 839274338 866131968 27837 4294967295 134512640 134569956 3221224368 3221214752 1131171925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 27837 13086 16 0 211442 0
vsize: 845832
[startup+480.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 45976 44 0 0 25 0 11 0 839274338 866131968 27967 4294967295 134512640 134569956 3221224368 3221214136 1080217222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 27967 13086 16 0 211442 0
vsize: 845832
[startup+490.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 46934 44 0 0 25 0 11 0 839274338 866131968 28089 4294967295 134512640 134569956 3221224368 3221214752 1131171918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 28089 13086 16 0 211442 0
vsize: 845832
[startup+500.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 47898 44 0 0 25 0 11 0 839274338 866131968 28213 4294967295 134512640 134569956 3221224368 3221214752 1131171904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 28213 13086 16 0 211442 0
vsize: 845832
[startup+510.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 48857 44 0 0 25 0 11 0 839274338 866131968 28333 4294967295 134512640 134569956 3221224368 3221214752 1131171904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 28333 13086 16 0 211442 0
vsize: 845832
[startup+520.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 49818 44 0 0 25 0 11 0 839274338 866131968 28449 4294967295 134512640 134569956 3221224368 3221214568 1131506204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 28449 13086 16 0 211442 0
vsize: 845832
[startup+530.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 50779 45 0 0 25 0 11 0 839274338 866131968 28565 4294967295 134512640 134569956 3221224368 3221214800 1131308091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 28565 13086 16 0 211442 0
vsize: 845832
[startup+540.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 51739 45 0 0 25 0 11 0 839274338 866131968 28682 4294967295 134512640 134569956 3221224368 3221214648 1131469390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 28682 13086 16 0 211442 0
vsize: 845832
[startup+550.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 52704 45 0 0 25 0 11 0 839274338 866131968 28777 4294967295 134512640 134569956 3221224368 3221214552 1131221723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 28777 13086 16 0 211442 0
vsize: 845832
[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 53662 45 0 0 25 0 11 0 839274338 866131968 28875 4294967295 134512640 134569956 3221224368 3221214700 1131468979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 28875 13086 16 0 211442 0
vsize: 845832
[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 54623 45 0 0 25 0 11 0 839274338 866131968 28984 4294967295 134512640 134569956 3221224368 3221214696 1131251428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 28984 13086 16 0 211442 0
vsize: 845832
[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 55579 45 0 0 25 0 11 0 839274338 866131968 29105 4294967295 134512640 134569956 3221224368 3221214696 1131251117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 29105 13086 16 0 211442 0
vsize: 845832
[startup+590.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) S 1434 20001 20000 0 -1 0 18064 0 1 0 56534 45 0 0 25 0 11 0 839274338 866131968 29212 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 29212 13086 16 0 211442 0
vsize: 845832
[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 57491 45 0 0 25 0 11 0 839274338 866131968 29360 4294967295 134512640 134569956 3221224368 3221214752 1131171904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 29360 13086 16 0 211442 0
vsize: 845832
[startup+610.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 58449 45 0 0 25 0 11 0 839274338 866131968 29537 4294967295 134512640 134569956 3221224368 3221214696 1131250521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 29537 13086 16 0 211442 0
vsize: 845832
[startup+620.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 59426 45 0 0 25 0 11 0 839274338 866131968 29697 4294967295 134512640 134569956 3221224368 3221214832 1131200985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 29697 13086 16 0 211442 0
vsize: 845832
[startup+630.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 60409 45 0 0 25 0 11 0 839274338 866131968 29748 4294967295 134512640 134569956 3221224368 3221214696 1131250911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 29748 13086 16 0 211442 0
vsize: 845832
[startup+640.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 61391 45 0 0 25 0 11 0 839274338 866131968 29763 4294967295 134512640 134569956 3221224368 3221214800 1131307813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 29763 13086 16 0 211442 0
vsize: 845832
[startup+650.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 62369 45 0 0 25 0 11 0 839274338 866131968 29791 4294967295 134512640 134569956 3221224368 3221214800 1131307653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 29791 13086 16 0 211442 0
vsize: 845832
[startup+660.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 63348 46 0 0 24 0 11 0 839274338 866131968 29849 4294967295 134512640 134569956 3221224368 3221214696 1131250551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 29849 13086 16 0 211442 0
vsize: 845832
[startup+670.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 64336 46 0 0 24 0 11 0 839274338 866131968 29896 4294967295 134512640 134569956 3221224368 3221214776 1131316925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 29896 13086 16 0 211442 0
vsize: 845832
[startup+680.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 65324 46 0 0 25 0 11 0 839274338 866131968 29907 4294967295 134512640 134569956 3221224368 3221214752 1131171904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 29907 13086 16 0 211442 0
vsize: 845832
[startup+690.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 66313 46 0 0 25 0 11 0 839274338 866131968 29920 4294967295 134512640 134569956 3221224368 3221214696 1131251574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 29920 13086 16 0 211442 0
vsize: 845832
[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 67298 46 0 0 25 0 11 0 839274338 866131968 29931 4294967295 134512640 134569956 3221224368 3221214752 1131171921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 29931 13086 16 0 211442 0
vsize: 845832
[startup+710.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 68275 46 0 0 25 0 11 0 839274338 866131968 29951 4294967295 134512640 134569956 3221224368 3221214696 1131251525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 29951 13086 16 0 211442 0
vsize: 845832
[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 69248 46 0 0 25 0 11 0 839274338 866131968 29969 4294967295 134512640 134569956 3221224368 3221214752 1131171904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 29969 13086 16 0 211442 0
vsize: 845832
[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 70217 46 0 0 24 0 11 0 839274338 866131968 30048 4294967295 134512640 134569956 3221224368 3221214800 1131308586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 30048 13086 16 0 211442 0
vsize: 845832
[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 71191 46 0 0 24 0 11 0 839274338 866131968 30122 4294967295 134512640 134569956 3221224368 3221214696 1131250741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 30122 13086 16 0 211442 0
vsize: 845832
[startup+750.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 72167 46 0 0 25 0 11 0 839274338 866131968 30168 4294967295 134512640 134569956 3221224368 3221214552 1131221808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 30168 13086 16 0 211442 0
vsize: 845832
[startup+760.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 73137 46 0 0 25 0 11 0 839274338 866131968 30236 4294967295 134512640 134569956 3221224368 3221214568 1131505391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 30236 13086 16 0 211442 0
vsize: 845832
[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 74105 46 0 0 25 0 11 0 839274338 866131968 30290 4294967295 134512640 134569956 3221224368 3221214696 1131251556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 30290 13086 16 0 211442 0
vsize: 845832
[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 75070 46 0 0 25 0 11 0 839274338 866131968 30393 4294967295 134512640 134569956 3221224368 3221214552 1131221723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 30393 13086 16 0 211442 0
vsize: 845832
[startup+790.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 76039 46 0 0 25 0 11 0 839274338 866131968 30475 4294967295 134512640 134569956 3221224368 3221214696 1131250991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 30475 13086 16 0 211442 0
vsize: 845832
[startup+800.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 77007 47 0 0 25 0 11 0 839274338 866131968 30558 4294967295 134512640 134569956 3221224368 3221214216 1131601127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 30558 13086 16 0 211442 0
vsize: 845832
[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 77974 47 0 0 25 0 11 0 839274338 866131968 30605 4294967295 134512640 134569956 3221224368 3221214760 1131453404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 30605 13086 16 0 211442 0
vsize: 845832
[startup+820.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 78940 47 0 0 25 0 11 0 839274338 866131968 30695 4294967295 134512640 134569956 3221224368 3221214580 1131586643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 30695 13086 16 0 211442 0
vsize: 845832
[startup+830.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 79906 47 0 0 25 0 11 0 839274338 866131968 30772 4294967295 134512640 134569956 3221224368 3221214696 1131251134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 30772 13086 16 0 211442 0
vsize: 845832
[startup+840.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 80871 48 0 0 25 0 11 0 839274338 866131968 30865 4294967295 134512640 134569956 3221224368 3221214696 1131250879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 30865 13086 16 0 211442 0
vsize: 845832
[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 81836 48 0 0 24 0 11 0 839274338 866131968 30953 4294967295 134512640 134569956 3221224368 3221214696 1131251230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 30953 13086 16 0 211442 0
vsize: 845832
[startup+860.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 82807 49 0 0 25 0 11 0 839274338 866131968 31015 4294967295 134512640 134569956 3221224368 3221214760 1131447435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 31015 13086 16 0 211442 0
vsize: 845832
[startup+870.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 83774 49 0 0 25 0 11 0 839274338 866131968 31124 4294967295 134512640 134569956 3221224368 3221214696 1131251252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 31124 13086 16 0 211442 0
vsize: 845832
[startup+880.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 84747 49 0 0 25 0 11 0 839274338 866131968 31172 4294967295 134512640 134569956 3221224368 3221214168 1131601106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 31172 13086 16 0 211442 0
vsize: 845832
[startup+890.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 85715 49 0 0 25 0 11 0 839274338 866131968 31259 4294967295 134512640 134569956 3221224368 3221214392 1131228060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 31259 13086 16 0 211442 0
vsize: 845832
[startup+900.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 86686 50 0 0 25 0 11 0 839274338 866131968 31315 4294967295 134512640 134569956 3221224368 3221214752 1131172086 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 31315 13086 16 0 211442 0
vsize: 845832
[startup+910.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 87657 50 0 0 25 0 11 0 839274338 866131968 31384 4294967295 134512640 134569956 3221224368 3221214696 1131250845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 31384 13086 16 0 211442 0
vsize: 845832
[startup+920.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 88626 50 0 0 25 0 11 0 839274338 866131968 31449 4294967295 134512640 134569956 3221224368 3221214696 1131251192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 31449 13086 16 0 211442 0
vsize: 845832
[startup+930.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 89599 51 0 0 25 0 11 0 839274338 866131968 31525 4294967295 134512640 134569956 3221224368 3221214648 1131469757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 31525 13086 16 0 211442 0
vsize: 845832
[startup+940.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 90572 51 0 0 25 0 11 0 839274338 866131968 31589 4294967295 134512640 134569956 3221224368 3221214696 1131250582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 31589 13086 16 0 211442 0
vsize: 845832
[startup+950.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 91542 52 0 0 25 0 11 0 839274338 866131968 31641 4294967295 134512640 134569956 3221224368 3221214696 1131250529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 31641 13086 16 0 211442 0
vsize: 845832
[startup+960.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 92514 52 0 0 25 0 11 0 839274338 866131968 31705 4294967295 134512640 134569956 3221224368 3221214696 1131250955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 31705 13086 16 0 211442 0
vsize: 845832
[startup+970.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 93485 53 0 0 25 0 11 0 839274338 866131968 31768 4294967295 134512640 134569956 3221224368 3221214696 1131251010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 31768 13086 16 0 211442 0
vsize: 845832
[startup+980.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 94454 53 0 0 25 0 11 0 839274338 866131968 31839 4294967295 134512640 134569956 3221224368 3221214696 1131250611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 31839 13086 16 0 211442 0
vsize: 845832
[startup+990.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 95423 53 0 0 24 0 11 0 839274338 866131968 31922 4294967295 134512640 134569956 3221224368 3221214696 1131250521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 31922 13086 16 0 211442 0
vsize: 845832
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 96398 54 0 0 25 0 11 0 839274338 866131968 31976 4294967295 134512640 134569956 3221224368 3221214648 1131469448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 31976 13086 16 0 211442 0
vsize: 845832
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 97371 54 0 0 25 0 11 0 839274338 866131968 32038 4294967295 134512640 134569956 3221224368 3221214696 1131250899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 32038 13086 16 0 211442 0
vsize: 845832
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 98346 54 0 0 25 0 11 0 839274338 866131968 32082 4294967295 134512640 134569956 3221224368 3221214644 1131200944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 32082 13086 16 0 211442 0
vsize: 845832
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 99316 54 0 0 25 0 11 0 839274338 866131968 32137 4294967295 134512640 134569956 3221224368 3221214608 1131192365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 32137 13086 16 0 211442 0
vsize: 845832
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 100287 55 0 0 25 0 11 0 839274338 866131968 32195 4294967295 134512640 134569956 3221224368 3221214608 1131192820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 32195 13086 16 0 211442 0
vsize: 845832
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 101254 55 0 0 25 0 11 0 839274338 866131968 32262 4294967295 134512640 134569956 3221224368 3221214800 1131307675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 32262 13086 16 0 211442 0
vsize: 845832
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 102225 55 0 0 25 0 11 0 839274338 866131968 32321 4294967295 134512640 134569956 3221224368 3221214696 1131250529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 32321 13086 16 0 211442 0
vsize: 845832
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 103197 55 0 0 25 0 11 0 839274338 866131968 32384 4294967295 134512640 134569956 3221224368 3221214696 1131251556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 32384 13086 16 0 211442 0
vsize: 845832
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 104165 56 0 0 25 0 11 0 839274338 866131968 32451 4294967295 134512640 134569956 3221224368 3221214552 1131222002 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 32451 13086 16 0 211442 0
vsize: 845832
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 105138 56 0 0 25 0 11 0 839274338 866131968 32516 4294967295 134512640 134569956 3221224368 3221214796 1131171891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 32516 13086 16 0 211442 0
vsize: 845832
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 106109 56 0 0 25 0 11 0 839274338 866131968 32583 4294967295 134512640 134569956 3221224368 3221214752 1131171901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 32583 13086 16 0 211442 0
vsize: 845832
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 107081 56 0 0 25 0 11 0 839274338 866131968 32659 4294967295 134512640 134569956 3221224368 3221214696 1131251089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 32659 13086 16 0 211442 0
vsize: 845832
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 108057 57 0 0 25 0 11 0 839274338 866131968 32700 4294967295 134512640 134569956 3221224368 3221214648 1131469420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 32700 13086 16 0 211442 0
vsize: 845832
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 109029 57 0 0 25 0 11 0 839274338 866131968 32754 4294967295 134512640 134569956 3221224368 3221214796 1131316936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 32754 13086 16 0 211442 0
vsize: 845832
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 110001 57 0 0 24 0 11 0 839274338 866131968 32809 4294967295 134512640 134569956 3221224368 3221214624 1131201003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 32809 13086 16 0 211442 0
vsize: 845832
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 110975 58 0 0 25 0 11 0 839274338 866131968 32863 4294967295 134512640 134569956 3221224368 3221214696 1131250939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211458 32863 13086 16 0 211442 0
vsize: 845832
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 111948 58 0 0 25 0 11 0 839274338 866131968 32911 4294967295 134512640 134569956 3221224368 3221214696 1131250716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 32911 13086 16 0 211442 0
vsize: 845832
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 112924 58 0 0 25 0 11 0 839274338 866131968 32967 4294967295 134512640 134569956 3221224368 3221214696 1131250533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 32967 13086 16 0 211442 0
vsize: 845832
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 113899 58 0 0 25 0 11 0 839274338 866131968 33027 4294967295 134512640 134569956 3221224368 3221214696 1131251113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 33027 13086 16 0 211442 0
vsize: 845832
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 114873 58 0 0 25 0 11 0 839274338 866131968 33074 4294967295 134512640 134569956 3221224368 3221214696 1131251176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 33074 13086 16 0 211442 0
vsize: 845832
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 115849 58 0 0 25 0 11 0 839274338 866131968 33120 4294967295 134512640 134569956 3221224368 3221214648 1131469757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 33120 13086 16 0 211442 0
vsize: 845832
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 116826 58 0 0 25 0 11 0 839274338 866131968 33154 4294967295 134512640 134569956 3221224368 3221214696 1131251265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 33154 13086 16 0 211442 0
vsize: 845832
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 117801 58 0 0 25 0 11 0 839274338 866131968 33200 4294967295 134512640 134569956 3221224368 3221214696 1131251113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 33200 13086 16 0 211442 0
vsize: 845832
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 118769 58 0 0 25 0 11 0 839274338 866131968 33245 4294967295 134512640 134569956 3221224368 3221214752 1131172029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 33245 13086 16 0 211442 0
vsize: 845832
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 119737 59 0 0 25 0 11 0 839274338 866131968 33303 4294967295 134512640 134569956 3221224368 3221214696 1131251222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 33303 13086 16 0 211442 0
vsize: 845832
[startup+1250.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1445
Raw data (stat): 1435 (java) R 1434 20001 20000 0 -1 0 18064 0 1 0 120713 59 0 0 25 0 11 0 839274338 866131968 33399 4294967295 134512640 134569956 3221224368 3221214696 1131251053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211458 33399 13086 16 0 211442 0
vsize: 845832
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1447
Raw data (stat): 1435 (java) Z 1434 20001 20000 0 -1 1036 18064 11947 1 0 120717 59 3970 35 25 0 1 0 839274338 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.15
CPU time (s): 1247.83
CPU user time (s): 1246.88
CPU system time (s): 0.950855
CPU usage (%): 99.814
Max. virtual memory (Kb): 847416
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####