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/lptestset/fome/normalized-mps-v2-13-7-fome12.opb
MD5SUM	f7d293075cf169ad75cd0116c61aa297
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	498856
Biggest coefficient in the objective function	2100440996511744
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	3448249888024611600
Number of bits of the sum of numbers in the objective function	62
Biggest number in a constraint	52428800000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	4176904799999651840
Number of bits of the biggest sum of numbers	62
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	9.27259
Number of variables	977976
Total number of constraints	24336
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	24336
Minimum length of a constraint	10
Maximum length of a constraint	4560
Trace number 30102

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-25 14:51:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21504 boxname=wulflinc21 idbench=1492 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  f7d293075cf169ad75cd0116c61aa297  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-fome12.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-fome12.opb
IDLAUNCH: 21504
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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.161
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:        282144 kB
Buffers:         35364 kB
Cached:         687000 kB
SwapCached:       1020 kB
Active:          96696 kB
Inactive:       627864 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        281892 kB
SwapTotal:     2097892 kB
SwapFree:      2096008 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5112 kB
Slab:            22120 kB
Committed_AS:    63916 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 15:13:19 (client local time) WITH STATUS 143 IN 1313.02 SECONDS
stats: 21504 7 1313.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/wulflinc21/normalized-mps-v2-13-7-fome12.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) : 1308.985
#### 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.92 0.97 0.99 2/55 13880
Raw data (stat): 13880 (runsolver) R 13879 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 717003880 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 1.08 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18008 0 1 0 865 40 0 0 25 0 10 0 717003880 853807104 19351 4294967295 134512640 134569956 3221224368 3221214748 1130918818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 19351 13086 16 0 208433 0
vsize: 833796
[startup+20.0012 s]
Raw data (loadavg): 1.14 1.02 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 1761 41 0 0 25 0 10 0 717003880 856330240 20439 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209065 20439 13086 16 0 209049 0
vsize: 836260
[startup+30.0009 s]
Raw data (loadavg): 1.12 1.02 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 2649 41 0 0 25 0 10 0 717003880 853807104 20406 4294967295 134512640 134569956 3221224368 3221214416 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 20406 13086 16 0 208433 0
vsize: 833796
[startup+40.0006 s]
Raw data (loadavg): 1.10 1.02 1.00 2/64 13889
Raw data (stat): 13880 (java) S 13879 32363 32362 0 -1 0 18009 0 1 0 3564 41 0 0 25 0 10 0 717003880 853975040 20737 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 20737 13086 16 0 208474 0
vsize: 833960
[startup+50.0013 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 4487 41 0 0 25 0 10 0 717003880 853975040 20905 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 20905 13086 16 0 208474 0
vsize: 833960
[startup+60.0009 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 5401 42 0 0 25 0 10 0 717003880 853975040 21042 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 21042 13086 16 0 208474 0
vsize: 833960
[startup+70.0021 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 6325 42 0 0 25 0 10 0 717003880 853807104 21252 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 21252 13086 16 0 208433 0
vsize: 833796
[startup+80.0024 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 7265 43 0 0 25 0 10 0 717003880 853807104 21351 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 21351 13086 16 0 208433 0
vsize: 833796
[startup+90.002 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 8204 43 0 0 25 0 10 0 717003880 853807104 21447 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 21447 13086 16 0 208433 0
vsize: 833796
[startup+100.002 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 9147 43 0 0 25 0 10 0 717003880 853807104 21531 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 21531 13086 16 0 208433 0
vsize: 833796
[startup+110.002 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 10087 43 0 0 25 0 10 0 717003880 853807104 21616 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 21616 13086 16 0 208433 0
vsize: 833796
[startup+120.003 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 11027 44 0 0 25 0 10 0 717003880 853807104 21694 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 21694 13086 16 0 208433 0
vsize: 833796
[startup+130.003 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 11972 44 0 0 25 0 10 0 717003880 853807104 21764 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 21764 13086 16 0 208433 0
vsize: 833796
[startup+140.003 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 12913 44 0 0 25 0 10 0 717003880 853807104 21835 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 21835 13086 16 0 208433 0
vsize: 833796
[startup+150.003 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 13854 44 0 0 24 0 10 0 717003880 853807104 21903 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 21903 13086 16 0 208433 0
vsize: 833796
[startup+160.003 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 14798 44 0 0 25 0 10 0 717003880 853807104 21964 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 21964 13086 16 0 208433 0
vsize: 833796
[startup+170.004 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 15736 44 0 0 25 0 10 0 717003880 853807104 22027 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 22027 13086 16 0 208433 0
vsize: 833796
[startup+180.003 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 16652 45 0 0 25 0 10 0 717003880 853807104 22084 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 22084 13086 16 0 208433 0
vsize: 833796
[startup+190.003 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 17572 45 0 0 25 0 10 0 717003880 853807104 22397 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 22397 13086 16 0 208433 0
vsize: 833796
[startup+200.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 18509 46 0 0 25 0 10 0 717003880 853807104 22454 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 22454 13086 16 0 208433 0
vsize: 833796
[startup+210.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 19450 46 0 0 25 0 10 0 717003880 853807104 22506 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 22506 13086 16 0 208433 0
vsize: 833796
[startup+220.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 20387 46 0 0 25 0 10 0 717003880 853807104 22560 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 22560 13086 16 0 208433 0
vsize: 833796
[startup+230.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 21327 47 0 0 25 0 10 0 717003880 853807104 22609 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 22609 13086 16 0 208433 0
vsize: 833796
[startup+240.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 22263 47 0 0 25 0 10 0 717003880 853807104 22662 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 22662 13086 16 0 208433 0
vsize: 833796
[startup+250.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 23203 47 0 0 25 0 10 0 717003880 853807104 22709 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 22709 13086 16 0 208433 0
vsize: 833796
[startup+260.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 24138 47 0 0 25 0 10 0 717003880 853807104 22758 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 22758 13086 16 0 208433 0
vsize: 833796
[startup+270.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 25077 48 0 0 25 0 10 0 717003880 853807104 22803 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 22803 13086 16 0 208433 0
vsize: 833796
[startup+280.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 26012 48 0 0 24 0 10 0 717003880 853807104 22850 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 22850 13086 16 0 208433 0
vsize: 833796
[startup+290.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 26949 49 0 0 25 0 10 0 717003880 853807104 22893 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 22893 13086 16 0 208433 0
vsize: 833796
[startup+300.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 27883 49 0 0 24 0 10 0 717003880 853807104 22939 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 22939 13086 16 0 208433 0
vsize: 833796
[startup+310.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 28821 49 0 0 25 0 10 0 717003880 853807104 22980 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 22980 13086 16 0 208433 0
vsize: 833796
[startup+320.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 29757 49 0 0 25 0 10 0 717003880 853807104 23021 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 23021 13086 16 0 208433 0
vsize: 833796
[startup+330.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 30689 50 0 0 25 0 10 0 717003880 853807104 23064 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 23064 13086 16 0 208433 0
vsize: 833796
[startup+340.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 31625 50 0 0 25 0 10 0 717003880 853807104 23104 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 23104 13086 16 0 208433 0
vsize: 833796
[startup+350.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 32561 51 0 0 25 0 10 0 717003880 853807104 23144 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 23144 13086 16 0 208433 0
vsize: 833796
[startup+360.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 33493 51 0 0 25 0 10 0 717003880 853807104 23185 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 23185 13086 16 0 208433 0
vsize: 833796
[startup+370.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 34429 51 0 0 25 0 10 0 717003880 853807104 23223 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 23223 13086 16 0 208433 0
vsize: 833796
[startup+380.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 35364 51 0 0 25 0 10 0 717003880 853807104 23261 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 23261 13086 16 0 208433 0
vsize: 833796
[startup+390.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 36295 51 0 0 24 0 10 0 717003880 853807104 23300 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 23300 13086 16 0 208433 0
vsize: 833796
[startup+400.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 37230 51 0 0 25 0 10 0 717003880 853807104 23336 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 23336 13086 16 0 208433 0
vsize: 833796
[startup+410.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 38164 51 0 0 25 0 10 0 717003880 853807104 23372 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 23372 13086 16 0 208433 0
vsize: 833796
[startup+420.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 39098 51 0 0 25 0 10 0 717003880 853807104 23407 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 23407 13086 16 0 208433 0
vsize: 833796
[startup+430.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 40027 51 0 0 24 0 10 0 717003880 853807104 23445 4294967295 134512640 134569956 3221224368 3221214748 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 23445 13086 16 0 208433 0
vsize: 833796
[startup+440.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 40959 51 0 0 25 0 10 0 717003880 853807104 23479 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 23479 13086 16 0 208433 0
vsize: 833796
[startup+450.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 41892 51 0 0 25 0 10 0 717003880 853807104 23513 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 23513 13086 16 0 208433 0
vsize: 833796
[startup+460.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 42823 52 0 0 25 0 10 0 717003880 853807104 23547 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 23547 13086 16 0 208433 0
vsize: 833796
[startup+470.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 43755 52 0 0 25 0 10 0 717003880 853807104 23581 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 23581 13086 16 0 208433 0
vsize: 833796
[startup+480.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 44683 52 0 0 24 0 10 0 717003880 853807104 23616 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 23616 13086 16 0 208433 0
vsize: 833796
[startup+490.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 45613 52 0 0 25 0 10 0 717003880 853807104 23649 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 23649 13086 16 0 208433 0
vsize: 833796
[startup+500.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 46544 52 0 0 25 0 10 0 717003880 853807104 23682 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 23682 13086 16 0 208433 0
vsize: 833796
[startup+510.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13889
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 47474 52 0 0 25 0 10 0 717003880 853807104 23714 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 23714 13086 16 0 208433 0
vsize: 833796
[startup+520.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13942
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 48400 54 0 0 25 0 10 0 717003880 853807104 23745 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 23745 13086 16 0 208433 0
vsize: 833796
[startup+530.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13942
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 49328 55 0 0 25 0 10 0 717003880 853807104 23777 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 23777 13086 16 0 208433 0
vsize: 833796
[startup+540.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13942
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 50256 55 0 0 25 0 10 0 717003880 853807104 23808 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 23808 13086 16 0 208433 0
vsize: 833796
[startup+550.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13942
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 51179 55 0 0 24 0 10 0 717003880 853807104 23841 4294967295 134512640 134569956 3221224368 3221214748 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 23841 13086 16 0 208433 0
vsize: 833796
[startup+560.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13942
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 52106 55 0 0 25 0 10 0 717003880 853807104 23871 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 23871 13086 16 0 208433 0
vsize: 833796
[startup+570.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13942
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 53033 55 0 0 25 0 10 0 717003880 853807104 23901 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 23901 13086 16 0 208433 0
vsize: 833796
[startup+580.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13944
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 53960 55 0 0 25 0 10 0 717003880 853807104 23931 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 23931 13086 16 0 208433 0
vsize: 833796
[startup+590.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 54886 55 0 0 25 0 10 0 717003880 853807104 23961 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 23961 13086 16 0 208433 0
vsize: 833796
[startup+600.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 55812 56 0 0 25 0 10 0 717003880 853807104 23990 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 23990 13086 16 0 208433 0
vsize: 833796
[startup+610.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 56736 56 0 0 25 0 10 0 717003880 853807104 24019 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 24019 13086 16 0 208433 0
vsize: 833796
[startup+620.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 57662 56 0 0 25 0 10 0 717003880 853807104 24048 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 24048 13086 16 0 208433 0
vsize: 833796
[startup+630.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 58586 57 0 0 25 0 10 0 717003880 853807104 24077 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 24077 13086 16 0 208433 0
vsize: 833796
[startup+640.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 59510 57 0 0 25 0 10 0 717003880 853807104 24105 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 24105 13086 16 0 208433 0
vsize: 833796
[startup+650.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 60435 57 0 0 25 0 10 0 717003880 853807104 24134 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 24134 13086 16 0 208433 0
vsize: 833796
[startup+660.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 61359 58 0 0 25 0 10 0 717003880 853807104 24163 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 24163 13086 16 0 208433 0
vsize: 833796
[startup+670.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 62272 58 0 0 25 0 10 0 717003880 853807104 24691 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 24691 13086 16 0 208433 0
vsize: 833796
[startup+680.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 63180 58 0 0 25 0 10 0 717003880 853807104 24730 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 24730 13086 16 0 208433 0
vsize: 833796
[startup+690.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 64083 59 0 0 25 0 10 0 717003880 853807104 24931 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 24931 13086 16 0 208433 0
vsize: 833796
[startup+700.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 64997 59 0 0 24 0 10 0 717003880 853807104 24958 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 24958 13086 16 0 208433 0
vsize: 833796
[startup+710.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 65917 59 0 0 25 0 10 0 717003880 853807104 24984 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 24984 13086 16 0 208433 0
vsize: 833796
[startup+720.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 66829 59 0 0 25 0 10 0 717003880 853807104 25010 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25010 13086 16 0 208433 0
vsize: 833796
[startup+730.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 67743 59 0 0 25 0 10 0 717003880 853807104 25037 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25037 13086 16 0 208433 0
vsize: 833796
[startup+740.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 68655 59 0 0 25 0 10 0 717003880 853807104 25063 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25063 13086 16 0 208433 0
vsize: 833796
[startup+750.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 69568 60 0 0 24 0 10 0 717003880 853807104 25090 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25090 13086 16 0 208433 0
vsize: 833796
[startup+760.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) S 13879 32363 32362 0 -1 0 18009 0 1 0 70485 60 0 0 25 0 10 0 717003880 853807104 25114 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25114 13086 16 0 208433 0
vsize: 833796
[startup+770.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 71398 60 0 0 25 0 10 0 717003880 853807104 25140 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25140 13086 16 0 208433 0
vsize: 833796
[startup+780.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 72310 60 0 0 25 0 10 0 717003880 853807104 25166 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25166 13086 16 0 208433 0
vsize: 833796
[startup+790.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 73223 60 0 0 25 0 10 0 717003880 853807104 25191 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25191 13086 16 0 208433 0
vsize: 833796
[startup+800.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 74134 60 0 0 24 0 10 0 717003880 853807104 25217 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25217 13086 16 0 208433 0
vsize: 833796
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 75050 60 0 0 25 0 10 0 717003880 853807104 25240 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25240 13086 16 0 208433 0
vsize: 833796
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 75961 60 0 0 25 0 10 0 717003880 853807104 25265 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25265 13086 16 0 208433 0
vsize: 833796
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 76871 60 0 0 25 0 10 0 717003880 853807104 25290 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25290 13086 16 0 208433 0
vsize: 833796
[startup+840.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) S 13879 32363 32362 0 -1 0 18009 0 1 0 77784 61 0 0 25 0 10 0 717003880 853807104 25314 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25314 13086 16 0 208433 0
vsize: 833796
[startup+850.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13946
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 78696 61 0 0 25 0 10 0 717003880 853807104 25338 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25338 13086 16 0 208433 0
vsize: 833796
[startup+860.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 79605 61 0 0 25 0 10 0 717003880 853807104 25364 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25364 13086 16 0 208433 0
vsize: 833796
[startup+870.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 80514 61 0 0 24 0 10 0 717003880 853807104 25388 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25388 13086 16 0 208433 0
vsize: 833796
[startup+880.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 81428 61 0 0 25 0 10 0 717003880 853807104 25411 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25411 13086 16 0 208433 0
vsize: 833796
[startup+890.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 82337 61 0 0 25 0 10 0 717003880 853807104 25435 4294967295 134512640 134569956 3221224368 3221213988 1077378858 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25435 13086 16 0 208433 0
vsize: 833796
[startup+900.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 83245 61 0 0 20 0 10 0 717003880 853807104 25458 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25458 13086 16 0 208433 0
vsize: 833796
[startup+910.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 84159 61 0 0 25 0 10 0 717003880 853807104 25481 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25481 13086 16 0 208433 0
vsize: 833796
[startup+920.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 85066 61 0 0 21 0 10 0 717003880 853807104 25504 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25504 13086 16 0 208433 0
vsize: 833796
[startup+930.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 85974 62 0 0 24 0 10 0 717003880 853807104 25528 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25528 13086 16 0 208433 0
vsize: 833796
[startup+940.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 86886 62 0 0 25 0 10 0 717003880 853807104 25550 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25550 13086 16 0 208433 0
vsize: 833796
[startup+950.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 87793 62 0 0 25 0 10 0 717003880 853807104 25573 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25573 13086 16 0 208433 0
vsize: 833796
[startup+960.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 88699 62 0 0 25 0 10 0 717003880 853807104 25596 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25596 13086 16 0 208433 0
vsize: 833796
[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 89609 62 0 0 25 0 10 0 717003880 853807104 25618 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25618 13086 16 0 208433 0
vsize: 833796
[startup+980.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 90515 62 0 0 25 0 10 0 717003880 853807104 25641 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25641 13086 16 0 208433 0
vsize: 833796
[startup+990.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 91420 62 0 0 24 0 10 0 717003880 853807104 25664 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25664 13086 16 0 208433 0
vsize: 833796
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 92331 62 0 0 23 0 10 0 717003880 853807104 25685 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25685 13086 16 0 208433 0
vsize: 833796
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 93236 62 0 0 21 0 10 0 717003880 853807104 25708 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25708 13086 16 0 208433 0
vsize: 833796
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) S 13879 32363 32362 0 -1 0 18009 0 1 0 94142 62 0 0 24 0 10 0 717003880 853807104 25729 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25729 13086 16 0 208433 0
vsize: 833796
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 95052 62 0 0 22 0 10 0 717003880 853807104 25751 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25751 13086 16 0 208433 0
vsize: 833796
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 95955 62 0 0 20 0 10 0 717003880 853807104 25773 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25773 13086 16 0 208433 0
vsize: 833796
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 96865 63 0 0 23 0 10 0 717003880 853807104 25794 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25794 13086 16 0 208433 0
vsize: 833796
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 97769 63 0 0 21 0 10 0 717003880 853807104 25816 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25816 13086 16 0 208433 0
vsize: 833796
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 98673 63 0 0 19 0 10 0 717003880 853807104 25838 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25838 13086 16 0 208433 0
vsize: 833796
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 99580 63 0 0 23 0 10 0 717003880 853807104 25861 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25861 13086 16 0 208433 0
vsize: 833796
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 100481 63 0 0 20 0 10 0 717003880 853807104 25886 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25886 13086 16 0 208433 0
vsize: 833796
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 101390 63 0 0 22 0 10 0 717003880 853807104 25911 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 25911 13086 16 0 208433 0
vsize: 833796
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 102292 63 0 0 21 0 10 0 717003880 853807104 25936 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25936 13086 16 0 208433 0
vsize: 833796
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) S 13879 32363 32362 0 -1 0 18009 0 1 0 103198 63 0 0 23 0 10 0 717003880 853807104 25958 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25958 13086 16 0 208433 0
vsize: 833796
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 104102 63 0 0 21 0 10 0 717003880 853807104 25984 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 25984 13086 16 0 208433 0
vsize: 833796
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 105003 63 0 0 19 0 10 0 717003880 853807104 26009 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 26009 13086 16 0 208433 0
vsize: 833796
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 105909 63 0 0 22 0 10 0 717003880 853807104 26031 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 26031 13086 16 0 208433 0
vsize: 833796
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 106811 64 0 0 19 0 10 0 717003880 853807104 26052 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 26052 13086 16 0 208433 0
vsize: 833796
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 107718 64 0 0 23 0 10 0 717003880 853807104 26080 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 26080 13086 16 0 208433 0
vsize: 833796
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 108618 64 0 0 19 0 10 0 717003880 853807104 26103 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 26103 13086 16 0 208433 0
vsize: 833796
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 109524 64 0 0 22 0 10 0 717003880 853807104 26124 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 26124 13086 16 0 208433 0
vsize: 833796
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 110423 64 0 0 18 0 10 0 717003880 853807104 26151 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 26151 13086 16 0 208433 0
vsize: 833796
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 111326 64 0 0 22 0 10 0 717003880 853807104 26173 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 26173 13086 16 0 208433 0
vsize: 833796
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 112223 64 0 0 18 0 10 0 717003880 853807104 26198 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 26198 13086 16 0 208433 0
vsize: 833796
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 113129 64 0 0 22 0 10 0 717003880 853807104 26220 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 26220 13086 16 0 208433 0
vsize: 833796
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 114028 64 0 0 19 0 10 0 717003880 853807104 26240 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 26240 13086 16 0 208433 0
vsize: 833796
[startup+1250.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 114932 64 0 0 21 0 10 0 717003880 853807104 26259 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 26259 13086 16 0 208433 0
vsize: 833796
[startup+1260.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 115831 65 0 0 19 0 10 0 717003880 853807104 26280 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 26280 13086 16 0 208433 0
vsize: 833796
[startup+1270.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 116736 65 0 0 22 0 10 0 717003880 853807104 26314 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 26314 13086 16 0 208433 0
vsize: 833796
[startup+1280.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 117636 65 0 0 19 0 10 0 717003880 853807104 26330 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 26330 13086 16 0 208433 0
vsize: 833796
[startup+1290.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 118541 65 0 0 22 0 10 0 717003880 853807104 26365 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 26365 13086 16 0 208433 0
vsize: 833796
[startup+1300.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 119443 65 0 0 19 0 10 0 717003880 853807104 26388 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 26388 13086 16 0 208433 0
vsize: 833796
[startup+1310.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13948
Raw data (stat): 13880 (java) R 13879 32363 32362 0 -1 0 18009 0 1 0 120351 65 0 0 21 0 10 0 717003880 853807104 26403 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 26403 13086 16 0 208433 0
vsize: 833796
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 13950
Raw data (stat): 13880 (java) Z 13879 32363 32362 0 -1 1036 18009 10618 1 0 120356 65 10830 49 23 0 1 0 717003880 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.16
CPU time (s): 1313.02
CPU user time (s): 1311.87
CPU system time (s): 1.15182
CPU usage (%): 100.218
Max. virtual memory (Kb): 836260
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####