PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb
MD5SUM	7fcbcb2a8848112bb780308c9eb60989
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4241
Optimality of the best value was proved	NO
Number of terms in the objective function	421
Biggest coefficient in the objective function	500
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	72290
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	3334110
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.05
Number of variables	7195
Total number of constraints	1321
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	450
Number of constraints which are nor clauses,nor cardinality constraints	871
Minimum length of a constraint	1
Maximum length of a constraint	555
Trace number 29563

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        725912 kB
Buffers:         32580 kB
Cached:         254556 kB
SwapCached:        640 kB
Active:          78740 kB
Inactive:       210904 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        725660 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5628 kB
Slab:            13344 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 09:24:47 (client local time) WITH STATUS 143 IN 1248.02 SECONDS
stats: 20967 7 1248.02 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/wulflinc23/normalized-mps-v2-20-10-aflow30a.opb
c reading problem ... done. Time 19.596 ms.
c #vars     7195
c #constraints  958
c starts	: 5
c conflicts	: 962
c decisions	: 24961
c propagations	: 133387
c inspects	: 528596
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 961
c root simplifications	: 5
s UNKNOWN
c Total CPU time (ms) : 1249.132
#### 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.85 0.98 0.99 2/54 14976
Raw data (stat): 14976 (runsolver) R 14975 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837655282 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.87 0.98 0.99 2/63 14985
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18035 0 1 0 847 45 0 0 25 0 10 0 837655282 853708800 19439 4294967295 134512640 134569956 3221224368 3221214824 1131251233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208425 19439 13086 16 0 208409 0
vsize: 833700
[startup+20.0004 s]
Raw data (loadavg): 0.89 0.98 0.99 4/63 14985
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18038 0 1 0 1707 45 0 0 25 0 10 0 837655282 857407488 20581 4294967295 134512640 134569956 3221224368 3221214824 1131192760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209328 20581 13086 16 0 209312 0
vsize: 837312
[startup+30.0009 s]
Raw data (loadavg): 0.98 0.99 0.99 2/64 14986
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18107 0 1 0 2621 46 0 0 25 0 11 0 837655282 863842304 23435 4294967295 134512640 134569956 3221224368 3221214528 1131362997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210899 23435 13086 16 0 210883 0
vsize: 843596
[startup+40.0043 s]
Raw data (loadavg): 1.14 1.03 1.01 2/64 14986
Raw data (stat): 14976 (java) S 14975 5562 5561 0 -1 0 18109 0 1 0 3534 46 0 0 25 0 11 0 837655282 859086848 23384 4294967295 134512640 134569956 3221224368 3221213304 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 23384 13086 16 0 209722 0
vsize: 838952
[startup+50.0053 s]
Raw data (loadavg): 1.11 1.02 1.00 2/64 14986
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18110 0 1 0 4491 47 0 0 25 0 11 0 837655282 859086848 23391 4294967295 134512640 134569956 3221224368 3221214664 1131390637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 23391 13086 16 0 209722 0
vsize: 838952
[startup+60.006 s]
Raw data (loadavg): 1.10 1.02 1.00 2/64 14986
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 5424 47 0 0 25 0 11 0 837655282 859086848 23395 4294967295 134512640 134569956 3221224368 3221214352 1078128033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 23395 13086 16 0 209722 0
vsize: 838952
[startup+70.0062 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 14986
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 6370 47 0 0 25 0 11 0 837655282 859086848 23524 4294967295 134512640 134569956 3221224368 3221214664 1131383643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 23524 13086 16 0 209722 0
vsize: 838952
[startup+80.0073 s]
Raw data (loadavg): 1.14 1.04 1.01 2/64 14986
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 7279 48 0 0 25 0 11 0 837655282 859086848 23524 4294967295 134512640 134569956 3221224368 3221214664 1131387004 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 23524 13086 16 0 209722 0
vsize: 838952
[startup+90.0079 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 14986
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 8225 48 0 0 25 0 11 0 837655282 859086848 23898 4294967295 134512640 134569956 3221224368 3221214604 1131239328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 23898 13086 16 0 209722 0
vsize: 838952
[startup+100.008 s]
Raw data (loadavg): 1.10 1.03 1.00 2/64 14986
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 9188 49 0 0 25 0 11 0 837655282 859086848 24016 4294967295 134512640 134569956 3221224368 3221214616 1131255704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 24016 13086 16 0 209722 0
vsize: 838952
[startup+110.009 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 10162 49 0 0 25 0 11 0 837655282 859086848 24142 4294967295 134512640 134569956 3221224368 3221214592 1131192771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 24142 13086 16 0 209722 0
vsize: 838952
[startup+120.009 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 11123 49 0 0 25 0 11 0 837655282 859086848 24350 4294967295 134512640 134569956 3221224368 3221214688 1131374896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 24350 13086 16 0 209722 0
vsize: 838952
[startup+130.009 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 12087 49 0 0 25 0 11 0 837655282 859086848 24430 4294967295 134512640 134569956 3221224368 3221214568 1131267373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 24430 13086 16 0 209722 0
vsize: 838952
[startup+140.009 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 13044 49 0 0 25 0 11 0 837655282 859086848 24498 4294967295 134512640 134569956 3221224368 3221214656 1131395747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 24498 13086 16 0 209722 0
vsize: 838952
[startup+150.011 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 14012 50 0 0 25 0 11 0 837655282 859086848 24519 4294967295 134512640 134569956 3221224368 3221214560 1131255704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 24519 13086 16 0 209722 0
vsize: 838952
[startup+160.011 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 14943 50 0 0 24 0 11 0 837655282 859086848 24635 4294967295 134512640 134569956 3221224368 3221214608 1131239408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 24635 13086 16 0 209722 0
vsize: 838952
[startup+170.011 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 15901 51 0 0 25 0 11 0 837655282 859086848 24786 4294967295 134512640 134569956 3221224368 3221214560 1131255841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 24786 13086 16 0 209722 0
vsize: 838952
[startup+180.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 16865 52 0 0 25 0 11 0 837655282 859086848 24927 4294967295 134512640 134569956 3221224368 3221214560 1131256037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 24927 13086 16 0 209722 0
vsize: 838952
[startup+190.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 17823 52 0 0 25 0 11 0 837655282 859086848 25072 4294967295 134512640 134569956 3221224368 3221214656 1131293508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 25072 13086 16 0 209722 0
vsize: 838952
[startup+200.015 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 18797 52 0 0 25 0 11 0 837655282 859086848 25089 4294967295 134512640 134569956 3221224368 3221214604 1131244725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 25089 13086 16 0 209722 0
vsize: 838952
[startup+210.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 19767 52 0 0 25 0 11 0 837655282 859086848 25167 4294967295 134512640 134569956 3221224368 3221214580 1130885243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 25167 13086 16 0 209722 0
vsize: 838952
[startup+220.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 20737 53 0 0 24 0 11 0 837655282 859086848 25205 4294967295 134512640 134569956 3221224368 3221214568 1131268436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 25205 13086 16 0 209722 0
vsize: 838952
[startup+230.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 21716 53 0 0 25 0 11 0 837655282 859086848 25286 4294967295 134512640 134569956 3221224368 3221214504 1131293844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 25286 13086 16 0 209722 0
vsize: 838952
[startup+240.017 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 22699 53 0 0 25 0 11 0 837655282 859086848 25374 4294967295 134512640 134569956 3221224368 3221214624 1131192771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 25374 13086 16 0 209722 0
vsize: 838952
[startup+250.017 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 23681 53 0 0 25 0 11 0 837655282 859086848 25404 4294967295 134512640 134569956 3221224368 3221214756 1131244720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 25404 13086 16 0 209722 0
vsize: 838952
[startup+260.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 24660 53 0 0 25 0 11 0 837655282 859086848 25425 4294967295 134512640 134569956 3221224368 3221214616 1131374896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 25425 13086 16 0 209722 0
vsize: 838952
[startup+270.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 25634 54 0 0 25 0 11 0 837655282 859086848 25488 4294967295 134512640 134569956 3221224368 3221214568 1131268444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 25488 13086 16 0 209722 0
vsize: 838952
[startup+280.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 26599 55 0 0 25 0 11 0 837655282 859086848 25552 4294967295 134512640 134569956 3221224368 3221214560 1131256013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 25552 13086 16 0 209722 0
vsize: 838952
[startup+290.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 27563 55 0 0 25 0 11 0 837655282 859086848 25654 4294967295 134512640 134569956 3221224368 3221214656 1131395360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 25654 13086 16 0 209722 0
vsize: 838952
[startup+300.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 28535 56 0 0 24 0 11 0 837655282 859086848 25805 4294967295 134512640 134569956 3221224368 3221214504 1131293331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 25805 13086 16 0 209722 0
vsize: 838952
[startup+310.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 29519 56 0 0 25 0 11 0 837655282 859086848 25823 4294967295 134512640 134569956 3221224368 3221214624 1131192784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 25823 13086 16 0 209722 0
vsize: 838952
[startup+320.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 30498 57 0 0 25 0 11 0 837655282 859086848 25895 4294967295 134512640 134569956 3221224368 3221214504 1131293331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 25895 13086 16 0 209722 0
vsize: 838952
[startup+330.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 31477 57 0 0 25 0 11 0 837655282 859086848 25959 4294967295 134512640 134569956 3221224368 3221214560 1131256548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 25959 13086 16 0 209722 0
vsize: 838952
[startup+340.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 32454 57 0 0 25 0 11 0 837655282 859086848 25981 4294967295 134512640 134569956 3221224368 3221214800 1131371395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 25981 13086 16 0 209722 0
vsize: 838952
[startup+350.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 33431 57 0 0 25 0 11 0 837655282 859086848 26012 4294967295 134512640 134569956 3221224368 3221214372 1076461222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 26012 13086 16 0 209722 0
vsize: 838952
[startup+360.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 34405 57 0 0 25 0 11 0 837655282 859086848 26043 4294967295 134512640 134569956 3221224368 3221214616 1131374991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 26043 13086 16 0 209722 0
vsize: 838952
[startup+370.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 35374 58 0 0 24 0 11 0 837655282 859086848 26114 4294967295 134512640 134569956 3221224368 3221214584 1131244752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 26114 13086 16 0 209722 0
vsize: 838952
[startup+380.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 36346 58 0 0 25 0 11 0 837655282 859086848 26159 4294967295 134512640 134569956 3221224368 3221214608 1131362967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 26159 13086 16 0 209722 0
vsize: 838952
[startup+390.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 37306 58 0 0 25 0 11 0 837655282 859086848 26214 4294967295 134512640 134569956 3221224368 3221214504 1131293331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 26214 13086 16 0 209722 0
vsize: 838952
[startup+400.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 38261 58 0 0 25 0 11 0 837655282 859086848 26238 4294967295 134512640 134569956 3221224368 3221214608 1131363123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 26238 13086 16 0 209722 0
vsize: 838952
[startup+410.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 39222 58 0 0 25 0 11 0 837655282 859086848 26328 4294967295 134512640 134569956 3221224368 3221214648 1131376328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 26328 13086 16 0 209722 0
vsize: 838952
[startup+420.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 40173 59 0 0 25 0 11 0 837655282 859086848 26430 4294967295 134512640 134569956 3221224368 3221214504 1131293261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 26430 13086 16 0 209722 0
vsize: 838952
[startup+430.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 41121 59 0 0 25 0 11 0 837655282 859086848 26578 4294967295 134512640 134569956 3221224368 3221214624 1131192838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 26578 13086 16 0 209722 0
vsize: 838952
[startup+440.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 42072 59 0 0 25 0 11 0 837655282 859086848 26722 4294967295 134512640 134569956 3221224368 3221214608 1131363496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 26722 13086 16 0 209722 0
vsize: 838952
[startup+450.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) S 14975 5562 5561 0 -1 0 18111 0 1 0 43022 60 0 0 25 0 11 0 837655282 859086848 26871 4294967295 134512640 134569956 3221224368 3221213208 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 26871 13086 16 0 209722 0
vsize: 838952
[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 43971 60 0 0 25 0 11 0 837655282 859086848 27052 4294967295 134512640 134569956 3221224368 3221214656 1131395328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 27052 13086 16 0 209722 0
vsize: 838952
[startup+470.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 44929 60 0 0 25 0 11 0 837655282 859086848 27193 4294967295 134512640 134569956 3221224368 3221214504 1131293331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 27193 13086 16 0 209722 0
vsize: 838952
[startup+480.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 45882 61 0 0 25 0 11 0 837655282 859086848 27375 4294967295 134512640 134569956 3221224368 3221214656 1131385814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 27375 13086 16 0 209722 0
vsize: 838952
[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 46845 61 0 0 25 0 11 0 837655282 859086848 27519 4294967295 134512640 134569956 3221224368 3221214504 1131293594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 27519 13086 16 0 209722 0
vsize: 838952
[startup+500.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 47803 61 0 0 25 0 11 0 837655282 859086848 27626 4294967295 134512640 134569956 3221224368 3221214528 1131370272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 27626 13086 16 0 209722 0
vsize: 838952
[startup+510.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 48768 61 0 0 25 0 11 0 837655282 859086848 27723 4294967295 134512640 134569956 3221224368 3221214540 1131370281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 27723 13086 16 0 209722 0
vsize: 838952
[startup+520.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 49726 62 0 0 25 0 11 0 837655282 859086848 27832 4294967295 134512640 134569956 3221224368 3221214656 1131384776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 27832 13086 16 0 209722 0
vsize: 838952
[startup+530.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) S 14975 5562 5561 0 -1 0 18111 0 1 0 50676 62 0 0 25 0 11 0 837655282 859086848 27972 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 27972 13086 16 0 209722 0
vsize: 838952
[startup+540.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 51631 62 0 0 25 0 11 0 837655282 859086848 28162 4294967295 134512640 134569956 3221224368 3221214760 1131222837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 28162 13086 16 0 209722 0
vsize: 838952
[startup+550.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 52604 62 0 0 25 0 11 0 837655282 859086848 28300 4294967295 134512640 134569956 3221224368 3221214560 1131255761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 28300 13086 16 0 209722 0
vsize: 838952
[startup+560.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 53576 63 0 0 25 0 11 0 837655282 859086848 28456 4294967295 134512640 134569956 3221224368 3221214560 1131255841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 28456 13086 16 0 209722 0
vsize: 838952
[startup+570.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 54554 63 0 0 25 0 11 0 837655282 859086848 28494 4294967295 134512640 134569956 3221224368 3221214656 1131394445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 28494 13086 16 0 209722 0
vsize: 838952
[startup+580.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 55534 63 0 0 25 0 11 0 837655282 859086848 28532 4294967295 134512640 134569956 3221224368 3221214560 1131255876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 28532 13086 16 0 209722 0
vsize: 838952
[startup+590.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 56524 63 0 0 25 0 11 0 837655282 859086848 28570 4294967295 134512640 134569956 3221224368 3221214560 1131255704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 28570 13086 16 0 209722 0
vsize: 838952
[startup+600.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 57506 64 0 0 25 0 11 0 837655282 859086848 28587 4294967295 134512640 134569956 3221224368 3221214656 1131383636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 28587 13086 16 0 209722 0
vsize: 838952
[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 58485 64 0 0 25 0 11 0 837655282 859086848 28600 4294967295 134512640 134569956 3221224368 3221214560 1131256087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 28600 13086 16 0 209722 0
vsize: 838952
[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 59465 65 0 0 25 0 11 0 837655282 859086848 28660 4294967295 134512640 134569956 3221224368 3221214560 1131257595 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 28660 13086 16 0 209722 0
vsize: 838952
[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 60451 65 0 0 25 0 11 0 837655282 859086848 28726 4294967295 134512640 134569956 3221224368 3221214560 1131255841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 28726 13086 16 0 209722 0
vsize: 838952
[startup+640.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 61426 65 0 0 25 0 11 0 837655282 859086848 28726 4294967295 134512640 134569956 3221224368 3221214656 1131383417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 28726 13086 16 0 209722 0
vsize: 838952
[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 62387 65 0 0 25 0 11 0 837655282 859086848 28726 4294967295 134512640 134569956 3221224368 3221214784 1131342487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 28726 13086 16 0 209722 0
vsize: 838952
[startup+660.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 63342 66 0 0 24 0 11 0 837655282 859086848 28763 4294967295 134512640 134569956 3221224368 3221214656 1131395874 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 28763 13086 16 0 209722 0
vsize: 838952
[startup+670.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 64312 66 0 0 25 0 11 0 837655282 859086848 28938 4294967295 134512640 134569956 3221224368 3221214656 1131385623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 28938 13086 16 0 209722 0
vsize: 838952
[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 65291 66 0 0 25 0 11 0 837655282 859086848 28993 4294967295 134512640 134569956 3221224368 3221214560 1131255700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 28993 13086 16 0 209722 0
vsize: 838952
[startup+690.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 66279 66 0 0 25 0 11 0 837655282 859086848 29024 4294967295 134512640 134569956 3221224368 3221214656 1131386244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29024 13086 16 0 209722 0
vsize: 838952
[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 67268 67 0 0 25 0 11 0 837655282 859086848 29040 4294967295 134512640 134569956 3221224368 3221214656 1131390629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29040 13086 16 0 209722 0
vsize: 838952
[startup+710.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 68257 67 0 0 24 0 11 0 837655282 859086848 29045 4294967295 134512640 134569956 3221224368 3221214560 1131428960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29045 13086 16 0 209722 0
vsize: 838952
[startup+720.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 69244 67 0 0 25 0 11 0 837655282 859086848 29045 4294967295 134512640 134569956 3221224368 3221214656 1131386256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29045 13086 16 0 209722 0
vsize: 838952
[startup+730.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 70228 67 0 0 25 0 11 0 837655282 859086848 29051 4294967295 134512640 134569956 3221224368 3221214560 1131256702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29051 13086 16 0 209722 0
vsize: 838952
[startup+740.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 71205 68 0 0 25 0 11 0 837655282 859086848 29070 4294967295 134512640 134569956 3221224368 3221214560 1131256298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29070 13086 16 0 209722 0
vsize: 838952
[startup+750.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 72182 68 0 0 24 0 11 0 837655282 859086848 29086 4294967295 134512640 134569956 3221224368 3221214656 1131387012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29086 13086 16 0 209722 0
vsize: 838952
[startup+760.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 73157 68 0 0 25 0 11 0 837655282 859086848 29117 4294967295 134512640 134569956 3221224368 3221214544 1131431204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29117 13086 16 0 209722 0
vsize: 838952
[startup+770.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 74145 69 0 0 25 0 11 0 837655282 859086848 29165 4294967295 134512640 134569956 3221224368 3221214544 1131431740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29165 13086 16 0 209722 0
vsize: 838952
[startup+780.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 75132 69 0 0 25 0 11 0 837655282 859086848 29176 4294967295 134512640 134569956 3221224368 3221214504 1131293865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29176 13086 16 0 209722 0
vsize: 838952
[startup+790.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 76120 69 0 0 25 0 11 0 837655282 859086848 29179 4294967295 134512640 134569956 3221224368 3221214616 1131374919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 29179 13086 16 0 209722 0
vsize: 838952
[startup+800.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 77108 69 0 0 25 0 11 0 837655282 859086848 29222 4294967295 134512640 134569956 3221224368 3221214616 1131374942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29222 13086 16 0 209722 0
vsize: 838952
[startup+810.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 78099 70 0 0 25 0 11 0 837655282 859086848 29240 4294967295 134512640 134569956 3221224368 3221214504 1131293251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29240 13086 16 0 209722 0
vsize: 838952
[startup+820.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 79086 71 0 0 25 0 11 0 837655282 859086848 29275 4294967295 134512640 134569956 3221224368 3221214656 1131387496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29275 13086 16 0 209722 0
vsize: 838952
[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 80071 71 0 0 25 0 11 0 837655282 859086848 29275 4294967295 134512640 134569956 3221224368 3221214656 1131383461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29275 13086 16 0 209722 0
vsize: 838952
[startup+840.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 81047 71 0 0 25 0 11 0 837655282 859086848 29275 4294967295 134512640 134569956 3221224368 3221214656 1131388443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29275 13086 16 0 209722 0
vsize: 838952
[startup+850.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 82020 71 0 0 24 0 11 0 837655282 859086848 29300 4294967295 134512640 134569956 3221224368 3221214656 1131385814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29300 13086 16 0 209722 0
vsize: 838952
[startup+860.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 82994 72 0 0 25 0 11 0 837655282 859086848 29341 4294967295 134512640 134569956 3221224368 3221214600 1131224682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29341 13086 16 0 209722 0
vsize: 838952
[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 83967 72 0 0 25 0 11 0 837655282 859086848 29408 4294967295 134512640 134569956 3221224368 3221214644 1131378291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29408 13086 16 0 209722 0
vsize: 838952
[startup+880.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 84944 73 0 0 25 0 11 0 837655282 859086848 29436 4294967295 134512640 134569956 3221224368 3221214656 1131384588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29436 13086 16 0 209722 0
vsize: 838952
[startup+890.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 85915 74 0 0 25 0 11 0 837655282 859086848 29479 4294967295 134512640 134569956 3221224368 3221214656 1131386209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 29479 13086 16 0 209722 0
vsize: 838952
[startup+900.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 86884 74 0 0 25 0 11 0 837655282 859086848 29556 4294967295 134512640 134569956 3221224368 3221214656 1131396385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29556 13086 16 0 209722 0
vsize: 838952
[startup+910.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 87853 75 0 0 25 0 11 0 837655282 859086848 29640 4294967295 134512640 134569956 3221224368 3221214616 1131374930 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29640 13086 16 0 209722 0
vsize: 838952
[startup+920.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18111 0 1 0 88826 75 0 0 25 0 11 0 837655282 859086848 29691 4294967295 134512640 134569956 3221224368 3221214560 1131256692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29691 13086 16 0 209722 0
vsize: 838952
[startup+930.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 89791 75 0 0 25 0 11 0 837655282 859086848 29787 4294967295 134512640 134569956 3221224368 3221214648 1131376195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29787 13086 16 0 209722 0
vsize: 838952
[startup+940.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 90759 76 0 0 25 0 11 0 837655282 859086848 29880 4294967295 134512640 134569956 3221224368 3221214560 1131255801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29880 13086 16 0 209722 0
vsize: 838952
[startup+950.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 91731 76 0 0 25 0 11 0 837655282 859086848 29940 4294967295 134512640 134569956 3221224368 3221214600 1131224654 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 29940 13086 16 0 209722 0
vsize: 838952
[startup+960.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 92698 77 0 0 25 0 11 0 837655282 859086848 30020 4294967295 134512640 134569956 3221224368 3221214656 1131392976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 30020 13086 16 0 209722 0
vsize: 838952
[startup+970.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 93669 77 0 0 25 0 11 0 837655282 859086848 30099 4294967295 134512640 134569956 3221224368 3221214656 1131387518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 30099 13086 16 0 209722 0
vsize: 838952
[startup+980.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 94636 77 0 0 25 0 11 0 837655282 859086848 30189 4294967295 134512640 134569956 3221224368 3221214608 1131239431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 30189 13086 16 0 209722 0
vsize: 838952
[startup+990.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 95602 78 0 0 25 0 11 0 837655282 859086848 30267 4294967295 134512640 134569956 3221224368 3221214616 1131374942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 30267 13086 16 0 209722 0
vsize: 838952
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 96572 78 0 0 25 0 11 0 837655282 859086848 30337 4294967295 134512640 134569956 3221224368 3221214504 1131293267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 30337 13086 16 0 209722 0
vsize: 838952
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 97538 78 0 0 25 0 11 0 837655282 859086848 30437 4294967295 134512640 134569956 3221224368 3221214656 1131396607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 30437 13086 16 0 209722 0
vsize: 838952
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 98504 78 0 0 25 0 11 0 837655282 859086848 30520 4294967295 134512640 134569956 3221224368 3221214560 1131255787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 30520 13086 16 0 209722 0
vsize: 838952
[startup+1030.05 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 99471 79 0 0 25 0 11 0 837655282 859086848 30617 4294967295 134512640 134569956 3221224368 3221214760 1131342448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 30617 13086 16 0 209722 0
vsize: 838952
[startup+1040.05 s]
Raw data (loadavg): 1.14 1.03 1.01 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 100439 79 0 0 25 0 11 0 837655282 859086848 30710 4294967295 134512640 134569956 3221224368 3221214624 1131192774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 30710 13086 16 0 209722 0
vsize: 838952
[startup+1050.05 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 101406 79 0 0 24 0 11 0 837655282 859086848 30794 4294967295 134512640 134569956 3221224368 3221214560 1131255968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 30794 13086 16 0 209722 0
vsize: 838952
[startup+1060.05 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 102377 79 0 0 25 0 11 0 837655282 859086848 30871 4294967295 134512640 134569956 3221224368 3221214608 1131239395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 30871 13086 16 0 209722 0
vsize: 838952
[startup+1070.05 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 103342 79 0 0 25 0 11 0 837655282 859086848 30951 4294967295 134512640 134569956 3221224368 3221214656 1131393916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 30951 13086 16 0 209722 0
vsize: 838952
[startup+1080.05 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 104305 79 0 0 25 0 11 0 837655282 859086848 31030 4294967295 134512640 134569956 3221224368 3221214544 1131433315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 31030 13086 16 0 209722 0
vsize: 838952
[startup+1090.05 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 105272 80 0 0 25 0 11 0 837655282 859086848 31106 4294967295 134512640 134569956 3221224368 3221214504 1131293251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 31106 13086 16 0 209722 0
vsize: 838952
[startup+1100.05 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 106234 80 0 0 25 0 11 0 837655282 859086848 31215 4294967295 134512640 134569956 3221224368 3221214712 1131441767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 31215 13086 16 0 209722 0
vsize: 838952
[startup+1110.05 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 107196 80 0 0 25 0 11 0 837655282 859086848 31311 4294967295 134512640 134569956 3221224368 3221214544 1131261233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 31311 13086 16 0 209722 0
vsize: 838952
[startup+1120.05 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 108156 80 0 0 25 0 11 0 837655282 859086848 31428 4294967295 134512640 134569956 3221224368 3221214560 1131256049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 31428 13086 16 0 209722 0
vsize: 838952
[startup+1130.06 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 109131 80 0 0 25 0 11 0 837655282 859086848 31506 4294967295 134512640 134569956 3221224368 3221214644 1131378272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 31506 13086 16 0 209722 0
vsize: 838952
[startup+1140.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 110102 80 0 0 25 0 11 0 837655282 859086848 31585 4294967295 134512640 134569956 3221224368 3221214608 1131363601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 31585 13086 16 0 209722 0
vsize: 838952
[startup+1150.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 111077 80 0 0 25 0 11 0 837655282 859086848 31623 4294967295 134512640 134569956 3221224368 3221214544 1131432605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 31623 13086 16 0 209722 0
vsize: 838952
[startup+1160.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 112051 80 0 0 25 0 11 0 837655282 859086848 31691 4294967295 134512640 134569956 3221224368 3221214544 1131433363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 31691 13086 16 0 209722 0
vsize: 838952
[startup+1170.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 113015 81 0 0 25 0 11 0 837655282 859086848 31767 4294967295 134512640 134569956 3221224368 3221214528 1131370249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 31767 13086 16 0 209722 0
vsize: 838952
[startup+1180.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 113985 81 0 0 25 0 11 0 837655282 859086848 31826 4294967295 134512640 134569956 3221224368 3221214544 1131432611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 31826 13086 16 0 209722 0
vsize: 838952
[startup+1190.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 114946 81 0 0 25 0 11 0 837655282 859086848 31843 4294967295 134512640 134569956 3221224368 3221214608 1131363026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 31843 13086 16 0 209722 0
vsize: 838952
[startup+1200.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 115914 81 0 0 25 0 11 0 837655282 859086848 31907 4294967295 134512640 134569956 3221224368 3221214504 1131293261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209738 31907 13086 16 0 209722 0
vsize: 838952
[startup+1210.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 116873 81 0 0 25 0 11 0 837655282 859086848 32034 4294967295 134512640 134569956 3221224368 3221214504 1131293251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 32034 13086 16 0 209722 0
vsize: 838952
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 117834 81 0 0 25 0 11 0 837655282 859086848 32151 4294967295 134512640 134569956 3221224368 3221214560 1131255841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 32151 13086 16 0 209722 0
vsize: 838952
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 118796 82 0 0 25 0 11 0 837655282 859086848 32264 4294967295 134512640 134569956 3221224368 3221214656 1131383643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 32264 13086 16 0 209722 0
vsize: 838952
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 119749 82 0 0 17 0 11 0 837655282 859086848 32420 4294967295 134512640 134569956 3221224368 3221214644 1131365715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 32420 13086 16 0 209722 0
vsize: 838952
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14988
Raw data (stat): 14976 (java) R 14975 5562 5561 0 -1 0 18112 0 1 0 120719 82 0 0 25 0 11 0 837655282 859086848 32506 4294967295 134512640 134569956 3221224368 3221214608 1131363575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209738 32506 13086 16 0 209722 0
vsize: 838952
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.17 s]
Raw data (loadavg): 1.00 1.01 1.00 1/54 14990
Raw data (stat): 14976 (java) Z 14975 5562 5561 0 -1 1036 18112 12903 1 0 120722 82 3958 39 25 0 1 0 837655282 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.16
CPU time (s): 1248.02
CPU user time (s): 1246.81
CPU system time (s): 1.21481
CPU usage (%): 99.8285
Max. virtual memory (Kb): 843596
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####