PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B2C1S1.opb
MD5SUM	2da614f2ff412c1e07d8c65342ffb362
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	25888
Biggest coefficient in the objective function	340787200
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	293013913600
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	340787200
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	293013913600
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.648901
Number of variables	71968
Total number of constraints	4192
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	288
Number of constraints which are nor clauses,nor cardinality constraints	3904
Minimum length of a constraint	1
Maximum length of a constraint	960
Trace number 30143

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-25 15:18:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21544 boxname=wulflinc22 idbench=1532 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  2da614f2ff412c1e07d8c65342ffb362  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-B2C1S1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-B2C1S1.opb
IDLAUNCH: 21544
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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.031
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:        617680 kB
Buffers:         34456 kB
Cached:         359680 kB
SwapCached:        400 kB
Active:          72504 kB
Inactive:       323824 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        617428 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5576 kB
Slab:            15084 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 15:40:33 (client local time) WITH STATUS 143 IN 1309.4 SECONDS
stats: 21544 7 1309.4 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/wulflinc22/normalized-mps-v2-13-7-B2C1S1.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1309.299
#### 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.96 1.00 1.00 2/54 4528
Raw data (stat): 4528 (runsolver) R 4527 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839901088 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.0009 s]
Raw data (loadavg): 0.97 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18032 0 1 0 870 39 0 0 25 0 10 0 839901088 854007808 19346 4294967295 134512640 134569956 3221224368 3221214644 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208498 19346 13086 16 0 208482 0
vsize: 833992
[startup+20.0015 s]
Raw data (loadavg): 0.97 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18033 0 1 0 1765 40 0 0 25 0 10 0 839901088 854495232 19943 4294967295 134512640 134569956 3221224368 3221214532 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 19943 13086 16 0 208601 0
vsize: 834468
[startup+30.0013 s]
Raw data (loadavg): 0.97 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18033 0 1 0 2652 40 0 0 25 0 10 0 839901088 854495232 20442 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 20442 13086 16 0 208601 0
vsize: 834468
[startup+40.002 s]
Raw data (loadavg): 0.98 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18033 0 1 0 3565 42 0 0 25 0 10 0 839901088 854048768 20683 4294967295 134512640 134569956 3221224368 3221214232 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 20683 13086 16 0 208492 0
vsize: 834032
[startup+50.0027 s]
Raw data (loadavg): 0.98 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18033 0 1 0 4484 42 0 0 25 0 10 0 839901088 854048768 20849 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 20849 13086 16 0 208492 0
vsize: 834032
[startup+60.0034 s]
Raw data (loadavg): 0.98 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18033 0 1 0 5398 43 0 0 25 0 10 0 839901088 854048768 20984 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 20984 13086 16 0 208492 0
vsize: 834032
[startup+70.0032 s]
Raw data (loadavg): 0.98 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18033 0 1 0 6324 43 0 0 25 0 10 0 839901088 853946368 21207 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21207 13086 16 0 208467 0
vsize: 833932
[startup+80.0029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18033 0 1 0 7260 44 0 0 25 0 10 0 839901088 853946368 21310 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21310 13086 16 0 208467 0
vsize: 833932
[startup+90.004 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18033 0 1 0 8199 44 0 0 24 0 10 0 839901088 853946368 21404 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21404 13086 16 0 208467 0
vsize: 833932
[startup+100.004 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18033 0 1 0 9142 45 0 0 25 0 10 0 839901088 853946368 21487 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21487 13086 16 0 208467 0
vsize: 833932
[startup+110.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18033 0 1 0 10082 45 0 0 25 0 10 0 839901088 853946368 21570 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21570 13086 16 0 208467 0
vsize: 833932
[startup+120.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18033 0 1 0 11023 46 0 0 25 0 10 0 839901088 853946368 21647 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21647 13086 16 0 208467 0
vsize: 833932
[startup+130.004 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18033 0 1 0 11967 46 0 0 25 0 10 0 839901088 853946368 21716 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21716 13086 16 0 208467 0
vsize: 833932
[startup+140.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18033 0 1 0 12908 46 0 0 25 0 10 0 839901088 853946368 21786 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21786 13086 16 0 208467 0
vsize: 833932
[startup+150.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18033 0 1 0 13848 47 0 0 25 0 10 0 839901088 853946368 21853 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21853 13086 16 0 208467 0
vsize: 833932
[startup+160.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18033 0 1 0 14789 47 0 0 24 0 10 0 839901088 853946368 21917 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21917 13086 16 0 208467 0
vsize: 833932
[startup+170.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18033 0 1 0 15727 47 0 0 25 0 10 0 839901088 853946368 21975 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21975 13086 16 0 208467 0
vsize: 833932
[startup+180.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18033 0 1 0 16643 48 0 0 25 0 10 0 839901088 853946368 22031 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 22031 13086 16 0 208467 0
vsize: 833932
[startup+190.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18041 0 1 0 17560 48 0 0 25 0 10 0 839901088 853946368 22352 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 22352 13086 16 0 208467 0
vsize: 833932
[startup+200.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18041 0 1 0 18488 48 0 0 25 0 10 0 839901088 853946368 22408 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 22408 13086 16 0 208467 0
vsize: 833932
[startup+210.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18042 0 1 0 19420 48 0 0 25 0 10 0 839901088 853946368 22559 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 22559 13086 16 0 208467 0
vsize: 833932
[startup+220.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18042 0 1 0 20355 49 0 0 25 0 10 0 839901088 854274048 22698 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208563 22698 13086 16 0 208547 0
vsize: 834252
[startup+230.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18043 0 1 0 21293 49 0 0 25 0 10 0 839901088 854274048 22739 4294967295 134512640 134569956 3221224368 3221214696 1131132476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208563 22739 13086 16 0 208547 0
vsize: 834252
[startup+240.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18043 0 1 0 22228 49 0 0 25 0 10 0 839901088 853946368 22719 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 22719 13086 16 0 208467 0
vsize: 833932
[startup+250.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18043 0 1 0 23166 49 0 0 25 0 10 0 839901088 853946368 22774 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 22774 13086 16 0 208467 0
vsize: 833932
[startup+260.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18043 0 1 0 24101 49 0 0 24 0 10 0 839901088 853946368 22813 4294967295 134512640 134569956 3221224368 3221214728 1131044742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 22813 13086 16 0 208467 0
vsize: 833932
[startup+270.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18043 0 1 0 25024 49 0 0 25 0 10 0 839901088 854925312 23091 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208722 23091 13086 16 0 208706 0
vsize: 834888
[startup+280.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 25961 49 0 0 25 0 10 0 839901088 854925312 23144 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208722 23144 13086 16 0 208706 0
vsize: 834888
[startup+290.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 26899 49 0 0 25 0 10 0 839901088 854925312 23179 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208722 23179 13086 16 0 208706 0
vsize: 834888
[startup+300.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 27831 49 0 0 25 0 10 0 839901088 854925312 23232 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208722 23232 13086 16 0 208706 0
vsize: 834888
[startup+310.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 28767 49 0 0 25 0 10 0 839901088 854925312 23265 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208722 23265 13086 16 0 208706 0
vsize: 834888
[startup+320.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 29702 50 0 0 25 0 10 0 839901088 854925312 23315 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208722 23315 13086 16 0 208706 0
vsize: 834888
[startup+330.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) S 4527 23310 23309 0 -1 0 18044 0 1 0 30632 50 0 0 25 0 10 0 839901088 854925312 23351 4294967295 134512640 134569956 3221224368 3221213368 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208722 23351 13086 16 0 208706 0
vsize: 834888
[startup+340.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 31564 51 0 0 25 0 10 0 839901088 854081536 23216 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 23216 13086 16 0 208500 0
vsize: 834064
[startup+350.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 32496 51 0 0 25 0 10 0 839901088 854081536 23264 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 23264 13086 16 0 208500 0
vsize: 834064
[startup+360.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 33429 51 0 0 25 0 10 0 839901088 854081536 23295 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 23295 13086 16 0 208500 0
vsize: 834064
[startup+370.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) S 4527 23310 23309 0 -1 0 18044 0 1 0 34359 52 0 0 25 0 10 0 839901088 854081536 23347 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 23347 13086 16 0 208500 0
vsize: 834064
[startup+380.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 35289 52 0 0 25 0 10 0 839901088 854081536 23379 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 23379 13086 16 0 208500 0
vsize: 834064
[startup+390.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 36191 52 0 0 25 0 10 0 839901088 855465984 23755 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208854 23755 13086 16 0 208838 0
vsize: 835416
[startup+400.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 37117 53 0 0 25 0 10 0 839901088 855465984 23787 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208854 23787 13086 16 0 208838 0
vsize: 835416
[startup+410.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 38048 53 0 0 25 0 10 0 839901088 855465984 23833 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 23833 13086 16 0 208838 0
vsize: 835416
[startup+420.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 38980 53 0 0 25 0 10 0 839901088 855465984 23862 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 23862 13086 16 0 208838 0
vsize: 835416
[startup+430.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 39911 53 0 0 25 0 10 0 839901088 855465984 23908 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 23908 13086 16 0 208838 0
vsize: 835416
[startup+440.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 40842 53 0 0 25 0 10 0 839901088 855465984 23936 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 23936 13086 16 0 208838 0
vsize: 835416
[startup+450.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 41768 53 0 0 24 0 10 0 839901088 855465984 23984 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 23984 13086 16 0 208838 0
vsize: 835416
[startup+460.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 42698 53 0 0 25 0 10 0 839901088 855465984 24012 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 24012 13086 16 0 208838 0
vsize: 835416
[startup+470.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 43627 53 0 0 25 0 10 0 839901088 855465984 24058 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208854 24058 13086 16 0 208838 0
vsize: 835416
[startup+480.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 44557 53 0 0 25 0 10 0 839901088 855465984 24084 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 24084 13086 16 0 208838 0
vsize: 835416
[startup+490.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 45484 54 0 0 25 0 10 0 839901088 855465984 24128 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 24128 13086 16 0 208838 0
vsize: 835416
[startup+500.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 46414 54 0 0 25 0 10 0 839901088 855465984 24160 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 24160 13086 16 0 208838 0
vsize: 835416
[startup+510.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 47339 54 0 0 24 0 10 0 839901088 855465984 24193 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 24193 13086 16 0 208838 0
vsize: 835416
[startup+520.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 48268 54 0 0 25 0 10 0 839901088 855465984 24230 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 24230 13086 16 0 208838 0
vsize: 835416
[startup+530.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 49197 54 0 0 25 0 10 0 839901088 855465984 24261 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 24261 13086 16 0 208838 0
vsize: 835416
[startup+540.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 50124 54 0 0 25 0 10 0 839901088 855465984 24292 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 24292 13086 16 0 208838 0
vsize: 835416
[startup+550.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 51052 54 0 0 25 0 10 0 839901088 855465984 24328 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 24328 13086 16 0 208838 0
vsize: 835416
[startup+560.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 51979 54 0 0 25 0 10 0 839901088 855465984 24359 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 24359 13086 16 0 208838 0
vsize: 835416
[startup+570.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 52905 54 0 0 25 0 10 0 839901088 855465984 24389 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 24389 13086 16 0 208838 0
vsize: 835416
[startup+580.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 53832 54 0 0 25 0 10 0 839901088 855465984 24419 4294967295 134512640 134569956 3221224368 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 24419 13086 16 0 208838 0
vsize: 835416
[startup+590.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 54758 54 0 0 21 0 10 0 839901088 855465984 24454 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 24454 13086 16 0 208838 0
vsize: 835416
[startup+600.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 55684 55 0 0 25 0 10 0 839901088 855465984 24483 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 24483 13086 16 0 208838 0
vsize: 835416
[startup+610.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 56610 55 0 0 25 0 10 0 839901088 855465984 24514 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208854 24514 13086 16 0 208838 0
vsize: 835416
[startup+620.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 57535 55 0 0 25 0 10 0 839901088 855465984 24546 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 24546 13086 16 0 208838 0
vsize: 835416
[startup+630.036 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) S 4527 23310 23309 0 -1 0 18044 0 1 0 58459 56 0 0 25 0 10 0 839901088 855465984 24575 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 24575 13086 16 0 208838 0
vsize: 835416
[startup+640.036 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) S 4527 23310 23309 0 -1 0 18044 0 1 0 59382 56 0 0 25 0 10 0 839901088 855465984 24606 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 24606 13086 16 0 208838 0
vsize: 835416
[startup+650.036 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) S 4527 23310 23309 0 -1 0 18044 0 1 0 60308 56 0 0 25 0 10 0 839901088 855465984 24634 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 24634 13086 16 0 208838 0
vsize: 835416
[startup+660.039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 61233 56 0 0 25 0 10 0 839901088 855465984 24662 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 24662 13086 16 0 208838 0
vsize: 835416
[startup+670.039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 62149 57 0 0 25 0 10 0 839901088 855465984 25229 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 25229 13086 16 0 208838 0
vsize: 835416
[startup+680.039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 63078 57 0 0 25 0 10 0 839901088 855465984 25229 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 25229 13086 16 0 208838 0
vsize: 835416
[startup+690.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 63996 57 0 0 25 0 10 0 839901088 855465984 25232 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 25232 13086 16 0 208838 0
vsize: 835416
[startup+700.041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 64909 57 0 0 25 0 10 0 839901088 855465984 25262 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 25262 13086 16 0 208838 0
vsize: 835416
[startup+710.041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 65822 57 0 0 25 0 10 0 839901088 855465984 25289 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 25289 13086 16 0 208838 0
vsize: 835416
[startup+720.045 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) S 4527 23310 23309 0 -1 0 18044 0 1 0 66737 57 0 0 25 0 10 0 839901088 855465984 25315 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 25315 13086 16 0 208838 0
vsize: 835416
[startup+730.052 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18044 0 1 0 67654 57 0 0 25 0 10 0 839901088 855465984 25342 4294967295 134512640 134569956 3221224368 3221214760 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208854 25342 13086 16 0 208838 0
vsize: 835416
[startup+740.052 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 68526 59 0 0 25 0 10 0 839901088 854994944 29403 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 29403 13086 16 0 208723 0
vsize: 834956
[startup+750.052 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 69441 59 0 0 25 0 10 0 839901088 854994944 30234 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30234 13086 16 0 208723 0
vsize: 834956
[startup+760.053 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 70356 59 0 0 24 0 10 0 839901088 854994944 30236 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30236 13086 16 0 208723 0
vsize: 834956
[startup+770.055 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) S 4527 23310 23309 0 -1 0 18046 0 1 0 71271 59 0 0 25 0 10 0 839901088 854994944 30263 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30263 13086 16 0 208723 0
vsize: 834956
[startup+780.055 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 72182 59 0 0 25 0 10 0 839901088 854994944 30291 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30291 13086 16 0 208723 0
vsize: 834956
[startup+790.056 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 73091 59 0 0 25 0 10 0 839901088 854994944 30319 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30319 13086 16 0 208723 0
vsize: 834956
[startup+800.057 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 74006 59 0 0 25 0 10 0 839901088 854994944 30345 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208739 30345 13086 16 0 208723 0
vsize: 834956
[startup+810.058 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 74915 60 0 0 23 0 10 0 839901088 854994944 30373 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30373 13086 16 0 208723 0
vsize: 834956
[startup+820.058 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 75823 60 0 0 25 0 10 0 839901088 854994944 30400 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30400 13086 16 0 208723 0
vsize: 834956
[startup+830.059 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 76736 60 0 0 25 0 10 0 839901088 854994944 30425 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30425 13086 16 0 208723 0
vsize: 834956
[startup+840.059 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 77644 60 0 0 25 0 10 0 839901088 854994944 30453 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30453 13086 16 0 208723 0
vsize: 834956
[startup+850.063 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) S 4527 23310 23309 0 -1 0 18046 0 1 0 78551 60 0 0 25 0 10 0 839901088 854994944 30478 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30478 13086 16 0 208723 0
vsize: 834956
[startup+860.064 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 79465 60 0 0 25 0 10 0 839901088 854994944 30505 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30505 13086 16 0 208723 0
vsize: 834956
[startup+870.065 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 80373 60 0 0 25 0 10 0 839901088 854994944 30531 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30531 13086 16 0 208723 0
vsize: 834956
[startup+880.065 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 81284 60 0 0 25 0 10 0 839901088 854994944 30556 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30556 13086 16 0 208723 0
vsize: 834956
[startup+890.066 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 82190 61 0 0 25 0 10 0 839901088 854994944 30582 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30582 13086 16 0 208723 0
vsize: 834956
[startup+900.066 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 83102 61 0 0 25 0 10 0 839901088 854994944 30607 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30607 13086 16 0 208723 0
vsize: 834956
[startup+910.067 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 84006 61 0 0 25 0 10 0 839901088 854994944 30633 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30633 13086 16 0 208723 0
vsize: 834956
[startup+920.067 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 84915 61 0 0 25 0 10 0 839901088 854994944 30658 4294967295 134512640 134569956 3221224368 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30658 13086 16 0 208723 0
vsize: 834956
[startup+930.067 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 85816 61 0 0 25 0 10 0 839901088 854994944 30697 4294967295 134512640 134569956 3221224368 3221214168 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30697 13086 16 0 208723 0
vsize: 834956
[startup+940.172 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 86731 61 0 0 25 0 10 0 839901088 854994944 30735 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208739 30735 13086 16 0 208723 0
vsize: 834956
[startup+950.172 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 87630 62 0 0 25 0 10 0 839901088 854994944 30774 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30774 13086 16 0 208723 0
vsize: 834956
[startup+960.173 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 88534 62 0 0 19 0 10 0 839901088 854994944 30798 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30798 13086 16 0 208723 0
vsize: 834956
[startup+970.179 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) S 4527 23310 23309 0 -1 0 18046 0 1 0 89437 62 0 0 24 0 10 0 839901088 854994944 30842 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30842 13086 16 0 208723 0
vsize: 834956
[startup+980.179 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 90339 62 0 0 19 0 10 0 839901088 854994944 30880 4294967295 134512640 134569956 3221224368 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30880 13086 16 0 208723 0
vsize: 834956
[startup+990.181 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 91244 62 0 0 22 0 10 0 839901088 854994944 30917 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30917 13086 16 0 208723 0
vsize: 834956
[startup+1000.18 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 92142 62 0 0 18 0 10 0 839901088 854994944 30955 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30955 13086 16 0 208723 0
vsize: 834956
[startup+1010.18 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 93048 62 0 0 21 0 10 0 839901088 854994944 30992 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 30992 13086 16 0 208723 0
vsize: 834956
[startup+1020.18 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 93954 63 0 0 23 0 10 0 839901088 854994944 31029 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31029 13086 16 0 208723 0
vsize: 834956
[startup+1030.18 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 94851 63 0 0 18 0 10 0 839901088 854994944 31067 4294967295 134512640 134569956 3221224368 3221214796 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31067 13086 16 0 208723 0
vsize: 834956
[startup+1040.18 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 95755 63 0 0 19 0 10 0 839901088 854994944 31103 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31103 13086 16 0 208723 0
vsize: 834956
[startup+1050.19 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 96658 63 0 0 22 0 10 0 839901088 854994944 31139 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31139 13086 16 0 208723 0
vsize: 834956
[startup+1060.19 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 97561 63 0 0 22 0 10 0 839901088 854994944 31175 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31175 13086 16 0 208723 0
vsize: 834956
[startup+1070.19 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 98458 63 0 0 18 0 10 0 839901088 854994944 31199 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31199 13086 16 0 208723 0
vsize: 834956
[startup+1080.19 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 99360 63 0 0 21 0 10 0 839901088 854994944 31236 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31236 13086 16 0 208723 0
vsize: 834956
[startup+1090.19 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 100264 63 0 0 22 0 10 0 839901088 854994944 31272 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31272 13086 16 0 208723 0
vsize: 834956
[startup+1100.19 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 101163 63 0 0 19 0 10 0 839901088 854994944 31309 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31309 13086 16 0 208723 0
vsize: 834956
[startup+1110.19 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 102069 63 0 0 21 0 10 0 839901088 854994944 31332 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31332 13086 16 0 208723 0
vsize: 834956
[startup+1120.19 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 102975 64 0 0 23 0 10 0 839901088 854994944 31353 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31353 13086 16 0 208723 0
vsize: 834956
[startup+1130.19 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 103875 64 0 0 20 0 10 0 839901088 854994944 31377 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31377 13086 16 0 208723 0
vsize: 834956
[startup+1140.19 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 104780 64 0 0 20 0 10 0 839901088 854994944 31399 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31399 13086 16 0 208723 0
vsize: 834956
[startup+1150.19 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 105686 64 0 0 22 0 10 0 839901088 854994944 31420 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31420 13086 16 0 208723 0
vsize: 834956
[startup+1160.19 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 106585 64 0 0 19 0 10 0 839901088 854994944 31443 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31443 13086 16 0 208723 0
vsize: 834956
[startup+1170.19 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 107490 64 0 0 20 0 10 0 839901088 854994944 31465 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31465 13086 16 0 208723 0
vsize: 834956
[startup+1180.19 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 108395 64 0 0 22 0 10 0 839901088 854994944 31487 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31487 13086 16 0 208723 0
vsize: 834956
[startup+1190.19 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 109299 64 0 0 23 0 10 0 839901088 854994944 31508 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31508 13086 16 0 208723 0
vsize: 834956
[startup+1200.19 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 110195 64 0 0 19 0 10 0 839901088 854994944 31530 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31530 13086 16 0 208723 0
vsize: 834956
[startup+1210.19 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 111098 64 0 0 20 0 10 0 839901088 854994944 31551 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31551 13086 16 0 208723 0
vsize: 834956
[startup+1220.19 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 112002 64 0 0 22 0 10 0 839901088 854994944 31573 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31573 13086 16 0 208723 0
vsize: 834956
[startup+1230.19 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 112905 65 0 0 23 0 10 0 839901088 854994944 31594 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31594 13086 16 0 208723 0
vsize: 834956
[startup+1240.2 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 113801 65 0 0 19 0 10 0 839901088 854994944 31616 4294967295 134512640 134569956 3221224368 3221214796 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31616 13086 16 0 208723 0
vsize: 834956
[startup+1250.2 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 114703 65 0 0 19 0 10 0 839901088 854994944 31637 4294967295 134512640 134569956 3221224368 3221214264 1080019619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31637 13086 16 0 208723 0
vsize: 834956
[startup+1260.2 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 115605 65 0 0 22 0 10 0 839901088 854994944 31658 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31658 13086 16 0 208723 0
vsize: 834956
[startup+1270.2 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 116506 65 0 0 22 0 10 0 839901088 854994944 31680 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31680 13086 16 0 208723 0
vsize: 834956
[startup+1280.2 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 117401 66 0 0 18 0 10 0 839901088 854994944 31705 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31705 13086 16 0 208723 0
vsize: 834956
[startup+1290.2 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 118304 66 0 0 20 0 10 0 839901088 854994944 31732 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31732 13086 16 0 208723 0
vsize: 834956
[startup+1300.2 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 119208 66 0 0 21 0 10 0 839901088 854994944 31743 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31743 13086 16 0 208723 0
vsize: 834956
[startup+1310.2 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 4537
Raw data (stat): 4528 (java) R 4527 23310 23309 0 -1 0 18046 0 1 0 120110 66 0 0 22 0 10 0 839901088 854994944 31763 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208739 31763 13086 16 0 208723 0
vsize: 834956
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.3 s]
Raw data (loadavg): 0.99 1.00 1.00 1/54 4539
Raw data (stat): 4528 (java) Z 4527 23310 23309 0 -1 1036 18046 13122 1 0 120113 66 10705 54 23 0 1 0 839901088 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): 1310.3
CPU time (s): 1309.4
CPU user time (s): 1308.2
CPU system time (s): 1.20682
CPU usage (%): 99.9319
Max. virtual memory (Kb): 835416
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####