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/web/uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb
MD5SUM	9cf6244159fb5c76c803165eb0e00316
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	17
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	62
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	16.8454
Number of variables	25800
Total number of constraints	76699
Number of constraints which are clauses	76319
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	380
Minimum length of a constraint	1
Maximum length of a constraint	9
Trace number 29302

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-25 06:13:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20695 boxname=wulflinc15 idbench=285 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  9cf6244159fb5c76c803165eb0e00316  /oldhome/oroussel/tmp/wulflinc15/normalized-cache.inv12.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc15/normalized-cache.inv12.ucl.opb
IDLAUNCH: 20695
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 2
cpu MHz		: 450.999
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:        840472 kB
Buffers:         22652 kB
Cached:         149464 kB
SwapCached:        672 kB
Active:          43376 kB
Inactive:       130872 kB
HighTotal:      131008 kB
HighFree:         2492 kB
LowTotal:       903652 kB
LowFree:        837980 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            14272 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 06:36:02 (client local time) WITH STATUS 143 IN 1344.33 SECONDS
stats: 20695 7 1344.33 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc15/normalized-cache.inv12.ucl.opb
c reading problem ... done. Time 221.797 ms.
c #vars     25800
c #constraints  76699
c starts	: 6
c conflicts	: 1691
c decisions	: 3868
c propagations	: 5264287
c inspects	: 16988717
c learned literals	: 9
c learned binary clauses	: 32
c learned ternary clauses	: 27
c learned clauses	: 1681
c root simplifications	: 33
s UNKNOWN
c Total CPU time (ms) : 1329.157
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 5665
Raw data (stat): 5665 (runsolver) R 5664 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778405082 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.0007 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 5674
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18026 0 1 0 784 36 0 0 25 0 10 0 778405082 854933504 21065 4294967295 134512640 134569956 3221224368 3221214436 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 21065 13086 16 0 208708 0
vsize: 834896
[startup+20.001 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 5674
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18026 0 1 0 1631 36 0 0 25 0 10 0 778405082 854933504 22204 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 22204 13086 16 0 208708 0
vsize: 834896
[startup+30.0024 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 5674
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18026 0 1 0 2489 37 0 0 25 0 10 0 778405082 854933504 22967 4294967295 134512640 134569956 3221224368 3221214424 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 22967 13086 16 0 208708 0
vsize: 834896
[startup+40.0034 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 5674
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18026 0 1 0 3346 37 0 0 25 0 10 0 778405082 854933504 23560 4294967295 134512640 134569956 3221224368 3221214424 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 23560 13086 16 0 208708 0
vsize: 834896
[startup+50.0035 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 5674
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18026 0 1 0 4195 37 0 0 17 0 10 0 778405082 854933504 24131 4294967295 134512640 134569956 3221224368 3221214720 1131339656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 24131 13086 16 0 208708 0
vsize: 834896
[startup+60.0073 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 5674
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18026 0 1 0 5047 38 0 0 17 0 10 0 778405082 854933504 24621 4294967295 134512640 134569956 3221224368 3221214424 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 24621 13086 16 0 208708 0
vsize: 834896
[startup+70.0087 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 5674
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18026 0 1 0 5901 38 0 0 18 0 10 0 778405082 854933504 25172 4294967295 134512640 134569956 3221224368 3221214468 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 25172 13086 16 0 208708 0
vsize: 834896
[startup+80.0139 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 5674
Raw data (stat): 5665 (java) S 5664 23514 23513 0 -1 0 18026 0 1 0 6758 38 0 0 20 0 10 0 778405082 854933504 25571 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 25571 13086 16 0 208708 0
vsize: 834896
[startup+90.0188 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 5674
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18026 0 1 0 7607 39 0 0 17 0 10 0 778405082 854933504 25994 4294967295 134512640 134569956 3221224368 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 25994 13086 16 0 208708 0
vsize: 834896
[startup+100.023 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 5674
Raw data (stat): 5665 (java) S 5664 23514 23513 0 -1 0 18026 0 1 0 8455 39 0 0 20 0 10 0 778405082 854933504 26363 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 26363 13086 16 0 208708 0
vsize: 834896
[startup+110.028 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 5674
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18026 0 1 0 9299 39 0 0 16 0 10 0 778405082 854933504 26922 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 26922 13086 16 0 208708 0
vsize: 834896
[startup+120.029 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 5674
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18026 0 1 0 10153 39 0 0 16 0 10 0 778405082 854933504 27240 4294967295 134512640 134569956 3221224368 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 27240 13086 16 0 208708 0
vsize: 834896
[startup+130.03 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 5674
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18026 0 1 0 11007 39 0 0 16 0 10 0 778405082 854933504 27565 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 27565 13086 16 0 208708 0
vsize: 834896
[startup+140.03 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 5674
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18026 0 1 0 11849 40 0 0 16 0 10 0 778405082 854933504 27927 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 27927 13086 16 0 208708 0
vsize: 834896
[startup+150.031 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 5674
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18026 0 1 0 12702 40 0 0 16 0 10 0 778405082 854933504 28228 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 28228 13086 16 0 208708 0
vsize: 834896
[startup+160.031 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 5674
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18026 0 1 0 13546 41 0 0 16 0 10 0 778405082 854933504 28561 4294967295 134512640 134569956 3221224368 3221214048 1077558867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 28561 13086 16 0 208708 0
vsize: 834896
[startup+170.031 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 5674
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18026 0 1 0 14405 41 0 0 16 0 10 0 778405082 854933504 28848 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 28848 13086 16 0 208708 0
vsize: 834896
[startup+180.033 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5674
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18026 0 1 0 15258 42 0 0 16 0 10 0 778405082 854933504 29155 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 29155 13086 16 0 208708 0
vsize: 834896
[startup+190.034 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5674
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18026 0 1 0 16123 42 0 0 16 0 10 0 778405082 854933504 29433 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 29433 13086 16 0 208708 0
vsize: 834896
[startup+200.034 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5674
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18026 0 1 0 16980 43 0 0 16 0 10 0 778405082 854933504 29720 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 29720 13086 16 0 208708 0
vsize: 834896
[startup+210.034 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5674
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18026 0 1 0 17836 43 0 0 15 0 10 0 778405082 854933504 30113 4294967295 134512640 134569956 3221224368 3221214376 1076874558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 30113 13086 16 0 208708 0
vsize: 834896
[startup+220.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5674
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18026 0 1 0 18709 43 0 0 16 0 10 0 778405082 854933504 30345 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208724 30345 13086 16 0 208708 0
vsize: 834896
[startup+230.037 s]
Raw data (loadavg): 1.08 1.02 1.01 3/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18078 0 1 0 19592 44 0 0 25 0 11 0 778405082 860975104 31934 4294967295 134512640 134569956 3221224368 3221214764 1130902053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210199 31934 13086 16 0 210183 0
vsize: 840796
[startup+240.039 s]
Raw data (loadavg): 1.15 1.03 1.01 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 20453 44 0 0 17 0 11 0 778405082 858804224 33337 4294967295 134512640 134569956 3221224368 3221214760 1131402319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209669 33337 13086 16 0 209653 0
vsize: 838676
[startup+250.039 s]
Raw data (loadavg): 1.13 1.03 1.01 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 21370 44 0 0 16 0 11 0 778405082 859852800 33734 4294967295 134512640 134569956 3221224368 3221214792 1131355775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 33734 13086 16 0 209909 0
vsize: 839700
[startup+260.039 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 22312 44 0 0 17 0 11 0 778405082 859852800 33938 4294967295 134512640 134569956 3221224368 3221214728 1131188441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 33938 13086 16 0 209909 0
vsize: 839700
[startup+270.039 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 23231 44 0 0 16 0 11 0 778405082 859852800 33767 4294967295 134512640 134569956 3221224368 3221214688 1131271839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 33767 13086 16 0 209909 0
vsize: 839700
[startup+280.039 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 24171 44 0 0 16 0 11 0 778405082 859852800 33799 4294967295 134512640 134569956 3221224368 3221214728 1131188436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 33799 13086 16 0 209909 0
vsize: 839700
[startup+290.04 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 25111 44 0 0 18 0 11 0 778405082 859852800 33843 4294967295 134512640 134569956 3221224368 3221214696 1131229090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 33843 13086 16 0 209909 0
vsize: 839700
[startup+300.041 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 26010 45 0 0 16 0 11 0 778405082 859852800 33913 4294967295 134512640 134569956 3221224368 3221214656 1131229040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 33913 13086 16 0 209909 0
vsize: 839700
[startup+310.04 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 26931 45 0 0 17 0 11 0 778405082 859852800 34002 4294967295 134512640 134569956 3221224368 3221214552 1131271872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 34002 13086 16 0 209909 0
vsize: 839700
[startup+320.041 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 27862 45 0 0 18 0 11 0 778405082 859852800 34601 4294967295 134512640 134569956 3221224368 3221214696 1131229166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 34601 13086 16 0 209909 0
vsize: 839700
[startup+330.041 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 28770 45 0 0 16 0 11 0 778405082 859852800 34846 4294967295 134512640 134569956 3221224368 3221214788 1131360768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 34846 13086 16 0 209909 0
vsize: 839700
[startup+340.042 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 29686 45 0 0 17 0 11 0 778405082 859852800 34982 4294967295 134512640 134569956 3221224368 3221214760 1131360936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 34982 13086 16 0 209909 0
vsize: 839700
[startup+350.042 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 30590 45 0 0 17 0 11 0 778405082 859852800 35024 4294967295 134512640 134569956 3221224368 3221214696 1131229841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35024 13086 16 0 209909 0
vsize: 839700
[startup+360.042 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 31492 45 0 0 17 0 11 0 778405082 859852800 35024 4294967295 134512640 134569956 3221224368 3221214760 1131360847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35024 13086 16 0 209909 0
vsize: 839700
[startup+370.043 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 32398 45 0 0 17 0 11 0 778405082 859852800 35036 4294967295 134512640 134569956 3221224368 3221214600 1131294475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35036 13086 16 0 209909 0
vsize: 839700
[startup+380.045 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5675
Raw data (stat): 5665 (java) S 5664 23514 23513 0 -1 0 18080 0 1 0 33298 45 0 0 17 0 11 0 778405082 859852800 35047 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35047 13086 16 0 209909 0
vsize: 839700
[startup+390.053 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 34175 45 0 0 16 0 11 0 778405082 859852800 35064 4294967295 134512640 134569956 3221224368 3221214688 1131272088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35064 13086 16 0 209909 0
vsize: 839700
[startup+400.054 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 35075 45 0 0 17 0 11 0 778405082 859852800 35080 4294967295 134512640 134569956 3221224368 3221214656 1131515273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35080 13086 16 0 209909 0
vsize: 839700
[startup+410.053 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 35993 46 0 0 17 0 11 0 778405082 859852800 35101 4294967295 134512640 134569956 3221224368 3221214724 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35101 13086 16 0 209909 0
vsize: 839700
[startup+420.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 36890 46 0 0 16 0 11 0 778405082 859852800 35166 4294967295 134512640 134569956 3221224368 3221214792 1131355624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35166 13086 16 0 209909 0
vsize: 839700
[startup+430.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 37796 46 0 0 16 0 11 0 778405082 859852800 35200 4294967295 134512640 134569956 3221224368 3221214724 1130885204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35200 13086 16 0 209909 0
vsize: 839700
[startup+440.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 38712 46 0 0 17 0 11 0 778405082 859852800 35213 4294967295 134512640 134569956 3221224368 3221214764 1131188880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35213 13086 16 0 209909 0
vsize: 839700
[startup+450.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 39612 46 0 0 16 0 11 0 778405082 859852800 35229 4294967295 134512640 134569956 3221224368 3221214768 1131196668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35229 13086 16 0 209909 0
vsize: 839700
[startup+460.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 40552 46 0 0 17 0 11 0 778405082 859852800 35277 4294967295 134512640 134569956 3221224368 3221214624 1131509652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35277 13086 16 0 209909 0
vsize: 839700
[startup+470.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 41456 46 0 0 16 0 11 0 778405082 859852800 35320 4294967295 134512640 134569956 3221224368 3221214752 1131371930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35320 13086 16 0 209909 0
vsize: 839700
[startup+480.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 42377 46 0 0 17 0 11 0 778405082 859852800 35320 4294967295 134512640 134569956 3221224368 3221214760 1131360863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35320 13086 16 0 209909 0
vsize: 839700
[startup+490.057 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 43298 46 0 0 16 0 11 0 778405082 859852800 35331 4294967295 134512640 134569956 3221224368 3221214656 1131515292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35331 13086 16 0 209909 0
vsize: 839700
[startup+500.057 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 44219 46 0 0 18 0 11 0 778405082 859852800 35357 4294967295 134512640 134569956 3221224368 3221214656 1131521167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35357 13086 16 0 209909 0
vsize: 839700
[startup+510.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 45120 46 0 0 16 0 11 0 778405082 859852800 35383 4294967295 134512640 134569956 3221224368 3221214792 1131355786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35383 13086 16 0 209909 0
vsize: 839700
[startup+520.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 46042 46 0 0 17 0 11 0 778405082 859852800 35390 4294967295 134512640 134569956 3221224368 3221214624 1131509360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35390 13086 16 0 209909 0
vsize: 839700
[startup+530.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 46965 46 0 0 18 0 11 0 778405082 859852800 35403 4294967295 134512640 134569956 3221224368 3221214764 1131188880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35403 13086 16 0 209909 0
vsize: 839700
[startup+540.063 s]
Raw data (loadavg): 1.15 1.03 1.01 2/64 5675
Raw data (stat): 5665 (java) S 5664 23514 23513 0 -1 0 18080 0 1 0 47879 46 0 0 18 0 11 0 778405082 859852800 35439 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35439 13086 16 0 209909 0
vsize: 839700
[startup+550.064 s]
Raw data (loadavg): 1.13 1.03 1.01 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 48805 46 0 0 18 0 11 0 778405082 859852800 35480 4294967295 134512640 134569956 3221224368 3221214688 1131272342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35480 13086 16 0 209909 0
vsize: 839700
[startup+560.063 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 49722 47 0 0 18 0 11 0 778405082 859852800 35524 4294967295 134512640 134569956 3221224368 3221214688 1131272313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35524 13086 16 0 209909 0
vsize: 839700
[startup+570.065 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18080 0 1 0 50640 47 0 0 17 0 11 0 778405082 859852800 35594 4294967295 134512640 134569956 3221224368 3221214768 1131196675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35594 13086 16 0 209909 0
vsize: 839700
[startup+580.065 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 51558 47 0 0 17 0 11 0 778405082 859852800 35614 4294967295 134512640 134569956 3221224368 3221214792 1131355528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35614 13086 16 0 209909 0
vsize: 839700
[startup+590.066 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 52476 47 0 0 17 0 11 0 778405082 859852800 35805 4294967295 134512640 134569956 3221224368 3221214552 1131271393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35805 13086 16 0 209909 0
vsize: 839700
[startup+600.067 s]
Raw data (loadavg): 1.21 1.06 1.02 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 53388 47 0 0 16 0 11 0 778405082 859852800 35851 4294967295 134512640 134569956 3221224368 3221214688 1131272428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35851 13086 16 0 209909 0
vsize: 839700
[startup+610.067 s]
Raw data (loadavg): 1.18 1.06 1.01 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 54293 47 0 0 16 0 11 0 778405082 859852800 35881 4294967295 134512640 134569956 3221224368 3221214656 1131519122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35881 13086 16 0 209909 0
vsize: 839700
[startup+620.066 s]
Raw data (loadavg): 1.15 1.05 1.01 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 55216 47 0 0 16 0 11 0 778405082 859852800 35935 4294967295 134512640 134569956 3221224368 3221214788 1131360780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 35935 13086 16 0 209909 0
vsize: 839700
[startup+630.067 s]
Raw data (loadavg): 1.12 1.05 1.01 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 56146 47 0 0 18 0 11 0 778405082 859852800 36206 4294967295 134512640 134569956 3221224368 3221214688 1131271477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 36206 13086 16 0 209909 0
vsize: 839700
[startup+640.072 s]
Raw data (loadavg): 1.11 1.05 1.01 2/64 5675
Raw data (stat): 5665 (java) S 5664 23514 23513 0 -1 0 18081 0 1 0 57051 47 0 0 19 0 11 0 778405082 859852800 36267 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 36270 13086 16 0 209909 0
vsize: 839700
[startup+650.072 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 57993 47 0 0 17 0 11 0 778405082 859852800 36288 4294967295 134512640 134569956 3221224368 3221214688 1131271419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 36288 13086 16 0 209909 0
vsize: 839700
[startup+660.073 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 58921 47 0 0 16 0 11 0 778405082 859852800 36466 4294967295 134512640 134569956 3221224368 3221214760 1131360882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 36466 13086 16 0 209909 0
vsize: 839700
[startup+670.074 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 59847 48 0 0 17 0 11 0 778405082 859852800 36499 4294967295 134512640 134569956 3221224368 3221214752 1131188848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 36499 13086 16 0 209909 0
vsize: 839700
[startup+680.074 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 60769 48 0 0 17 0 11 0 778405082 859852800 36617 4294967295 134512640 134569956 3221224368 3221214752 1131372065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 36617 13086 16 0 209909 0
vsize: 839700
[startup+690.076 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 61696 48 0 0 16 0 11 0 778405082 859852800 36878 4294967295 134512640 134569956 3221224368 3221214656 1131516537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 36878 13086 16 0 209909 0
vsize: 839700
[startup+700.076 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 62627 48 0 0 17 0 11 0 778405082 859852800 36878 4294967295 134512640 134569956 3221224368 3221214728 1131188436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 36878 13086 16 0 209909 0
vsize: 839700
[startup+710.076 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 63543 48 0 0 17 0 11 0 778405082 859852800 36878 4294967295 134512640 134569956 3221224368 3221214528 1131229124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 36878 13086 16 0 209909 0
vsize: 839700
[startup+720.076 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 64445 49 0 0 17 0 11 0 778405082 859852800 36955 4294967295 134512640 134569956 3221224368 3221214752 1131188827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 36955 13086 16 0 209909 0
vsize: 839700
[startup+730.075 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 65350 49 0 0 17 0 11 0 778405082 859852800 36976 4294967295 134512640 134569956 3221224368 3221214792 1131355614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 36976 13086 16 0 209909 0
vsize: 839700
[startup+740.076 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 66254 49 0 0 17 0 11 0 778405082 859852800 37013 4294967295 134512640 134569956 3221224368 3221214552 1131272038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 37013 13086 16 0 209909 0
vsize: 839700
[startup+750.076 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 67177 49 0 0 16 0 11 0 778405082 859852800 37044 4294967295 134512640 134569956 3221224368 3221214768 1131196668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 37044 13086 16 0 209909 0
vsize: 839700
[startup+760.076 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 68102 49 0 0 16 0 11 0 778405082 859852800 37060 4294967295 134512640 134569956 3221224368 3221214736 1131392250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 37060 13086 16 0 209909 0
vsize: 839700
[startup+770.077 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 69022 49 0 0 16 0 11 0 778405082 859852800 37062 4294967295 134512640 134569956 3221224368 3221214760 1131360799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 37062 13086 16 0 209909 0
vsize: 839700
[startup+780.077 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 69944 49 0 0 16 0 11 0 778405082 859852800 37262 4294967295 134512640 134569956 3221224368 3221214760 1131360841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 37262 13086 16 0 209909 0
vsize: 839700
[startup+790.077 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 70884 49 0 0 18 0 11 0 778405082 859852800 37262 4294967295 134512640 134569956 3221224368 3221214752 1131188864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 37262 13086 16 0 209909 0
vsize: 839700
[startup+800.082 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5675
Raw data (stat): 5665 (java) S 5664 23514 23513 0 -1 0 18081 0 1 0 71798 49 0 0 18 0 11 0 778405082 859852800 37295 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 37295 13086 16 0 209909 0
vsize: 839700
[startup+810.083 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 72712 49 0 0 17 0 11 0 778405082 859852800 37323 4294967295 134512640 134569956 3221224368 3221214728 1131188441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 37323 13086 16 0 209909 0
vsize: 839700
[startup+820.084 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 73628 49 0 0 20 0 11 0 778405082 859852800 37368 4294967295 134512640 134569956 3221224368 3221214776 1131360201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 37368 13086 16 0 209909 0
vsize: 839700
[startup+830.084 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 74544 49 0 0 17 0 11 0 778405082 859852800 37439 4294967295 134512640 134569956 3221224368 3221214752 1131188792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 37439 13086 16 0 209909 0
vsize: 839700
[startup+840.085 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 75470 49 0 0 18 0 11 0 778405082 859852800 37513 4294967295 134512640 134569956 3221224368 3221214768 1131196648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 37513 13086 16 0 209909 0
vsize: 839700
[startup+850.085 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 76395 50 0 0 17 0 11 0 778405082 859852800 37513 4294967295 134512640 134569956 3221224368 3221214748 1131187024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 37513 13086 16 0 209909 0
vsize: 839700
[startup+860.088 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 77319 50 0 0 16 0 11 0 778405082 859852800 37577 4294967295 134512640 134569956 3221224368 3221214792 1131355475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 37577 13086 16 0 209909 0
vsize: 839700
[startup+870.088 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 78246 50 0 0 16 0 11 0 778405082 859852800 37577 4294967295 134512640 134569956 3221224368 3221214724 1130885150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 37577 13086 16 0 209909 0
vsize: 839700
[startup+880.089 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 79172 50 0 0 16 0 11 0 778405082 859852800 37577 4294967295 134512640 134569956 3221224368 3221214724 1130885150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 37577 13086 16 0 209909 0
vsize: 839700
[startup+890.089 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 80099 50 0 0 17 0 11 0 778405082 859852800 37597 4294967295 134512640 134569956 3221224368 3221214768 1131196664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 37597 13086 16 0 209909 0
vsize: 839700
[startup+900.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 81021 51 0 0 17 0 11 0 778405082 859852800 37614 4294967295 134512640 134569956 3221224368 3221214724 1130885124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 37614 13086 16 0 209909 0
vsize: 839700
[startup+910.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 81948 51 0 0 17 0 11 0 778405082 859852800 37614 4294967295 134512640 134569956 3221224368 3221214792 1131355523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 37614 13086 16 0 209909 0
vsize: 839700
[startup+920.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 82871 52 0 0 17 0 11 0 778405082 859852800 37683 4294967295 134512640 134569956 3221224368 3221214788 1131403488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 37683 13086 16 0 209909 0
vsize: 839700
[startup+930.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 83795 52 0 0 16 0 11 0 778405082 859852800 37693 4294967295 134512640 134569956 3221224368 3221214788 1131348387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 37693 13086 16 0 209909 0
vsize: 839700
[startup+940.091 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 84735 53 0 0 18 0 11 0 778405082 859852800 37702 4294967295 134512640 134569956 3221224368 3221214768 1131403569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 37702 13086 16 0 209909 0
vsize: 839700
[startup+950.096 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5675
Raw data (stat): 5665 (java) S 5664 23514 23513 0 -1 0 18081 0 1 0 85656 53 0 0 18 0 11 0 778405082 859852800 37710 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 37710 13086 16 0 209909 0
vsize: 839700
[startup+960.098 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 86576 53 0 0 16 0 11 0 778405082 859852800 37729 4294967295 134512640 134569956 3221224368 3221214696 1131229166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 37729 13086 16 0 209909 0
vsize: 839700
[startup+970.098 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 87507 54 0 0 19 0 11 0 778405082 859852800 37747 4294967295 134512640 134569956 3221224368 3221214724 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 37747 13086 16 0 209909 0
vsize: 839700
[startup+980.099 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 88413 54 0 0 16 0 11 0 778405082 859852800 37765 4294967295 134512640 134569956 3221224368 3221214792 1131355811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 37765 13086 16 0 209909 0
vsize: 839700
[startup+990.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 89326 55 0 0 16 0 11 0 778405082 859852800 37765 4294967295 134512640 134569956 3221224368 3221214528 1131229033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 37765 13086 16 0 209909 0
vsize: 839700
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 90266 55 0 0 16 0 11 0 778405082 859852800 37814 4294967295 134512640 134569956 3221224368 3221214752 1131188871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 37814 13086 16 0 209909 0
vsize: 839700
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 91191 55 0 0 16 0 11 0 778405082 859852800 37849 4294967295 134512640 134569956 3221224368 3221214792 1131355799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 37849 13086 16 0 209909 0
vsize: 839700
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 92121 55 0 0 18 0 11 0 778405082 859852800 37852 4294967295 134512640 134569956 3221224368 3221214760 1131360930 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 37852 13086 16 0 209909 0
vsize: 839700
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) S 5664 23514 23513 0 -1 0 18081 0 1 0 93034 56 0 0 19 0 11 0 778405082 859852800 37950 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 37951 13086 16 0 209909 0
vsize: 839700
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 93971 56 0 0 17 0 11 0 778405082 859852800 38534 4294967295 134512640 134569956 3221224368 3221214776 1131360201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38534 13086 16 0 209909 0
vsize: 839700
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 94899 56 0 0 17 0 11 0 778405082 859852800 38534 4294967295 134512640 134569956 3221224368 3221214656 1131515018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38534 13086 16 0 209909 0
vsize: 839700
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 95806 56 0 0 16 0 11 0 778405082 859852800 38574 4294967295 134512640 134569956 3221224368 3221214688 1131272105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38574 13086 16 0 209909 0
vsize: 839700
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 96706 57 0 0 16 0 11 0 778405082 859852800 38574 4294967295 134512640 134569956 3221224368 3221214752 1131188840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38574 13086 16 0 209909 0
vsize: 839700
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 97612 57 0 0 16 0 11 0 778405082 859852800 38652 4294967295 134512640 134569956 3221224368 3221214696 1131229166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38652 13086 16 0 209909 0
vsize: 839700
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 98532 57 0 0 17 0 11 0 778405082 859852800 38670 4294967295 134512640 134569956 3221224368 3221214776 1131348409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38670 13086 16 0 209909 0
vsize: 839700
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 99437 57 0 0 17 0 11 0 778405082 859852800 38670 4294967295 134512640 134569956 3221224368 3221214728 1131188432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38670 13086 16 0 209909 0
vsize: 839700
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 100356 57 0 0 17 0 11 0 778405082 859852800 38715 4294967295 134512640 134569956 3221224368 3221214688 1131212583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38715 13086 16 0 209909 0
vsize: 839700
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 101263 58 0 0 16 0 11 0 778405082 859852800 38729 4294967295 134512640 134569956 3221224368 3221214748 1131188405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38729 13086 16 0 209909 0
vsize: 839700
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 102170 58 0 0 16 0 11 0 778405082 859852800 38731 4294967295 134512640 134569956 3221224368 3221214688 1131272333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38731 13086 16 0 209909 0
vsize: 839700
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 103079 59 0 0 16 0 11 0 778405082 859852800 38740 4294967295 134512640 134569956 3221224368 3221214788 1131196576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38740 13086 16 0 209909 0
vsize: 839700
[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) S 5664 23514 23513 0 -1 0 18081 0 1 0 103997 59 0 0 17 0 11 0 778405082 859852800 38749 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38749 13086 16 0 209909 0
vsize: 839700
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 104910 59 0 0 17 0 11 0 778405082 859852800 38758 4294967295 134512640 134569956 3221224368 3221214688 1131271807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38758 13086 16 0 209909 0
vsize: 839700
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 105822 60 0 0 17 0 11 0 778405082 859852800 38766 4294967295 134512640 134569956 3221224368 3221214788 1131315235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38766 13086 16 0 209909 0
vsize: 839700
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 106727 60 0 0 17 0 11 0 778405082 859852800 38869 4294967295 134512640 134569956 3221224368 3221214696 1131229205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38869 13086 16 0 209909 0
vsize: 839700
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 107647 60 0 0 17 0 11 0 778405082 859852800 38878 4294967295 134512640 134569956 3221224368 3221214760 1131360847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38878 13086 16 0 209909 0
vsize: 839700
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 108560 60 0 0 16 0 11 0 778405082 859852800 38884 4294967295 134512640 134569956 3221224368 3221214696 1131229040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38884 13086 16 0 209909 0
vsize: 839700
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 109478 60 0 0 16 0 11 0 778405082 859852800 38891 4294967295 134512640 134569956 3221224368 3221214792 1131355539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38891 13086 16 0 209909 0
vsize: 839700
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 110392 61 0 0 17 0 11 0 778405082 859852800 38899 4294967295 134512640 134569956 3221224368 3221214788 1131403500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38899 13086 16 0 209909 0
vsize: 839700
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 111304 62 0 0 17 0 11 0 778405082 859852800 38899 4294967295 134512640 134569956 3221224368 3221214760 1131360882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38899 13086 16 0 209909 0
vsize: 839700
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 112211 62 0 0 16 0 11 0 778405082 859852800 38908 4294967295 134512640 134569956 3221224368 3221214724 1130885189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38908 13086 16 0 209909 0
vsize: 839700
[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 113120 62 0 0 16 0 11 0 778405082 859852800 38908 4294967295 134512640 134569956 3221224368 3221214792 1131355927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38908 13086 16 0 209909 0
vsize: 839700
[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 114024 62 0 0 16 0 11 0 778405082 859852800 38918 4294967295 134512640 134569956 3221224368 3221214724 1130885141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38918 13086 16 0 209909 0
vsize: 839700
[startup+1270.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) S 5664 23514 23513 0 -1 0 18081 0 1 0 114953 63 0 0 18 0 11 0 778405082 859852800 38918 4294967295 134512640 134569956 3221224368 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38918 13086 16 0 209909 0
vsize: 839700
[startup+1280.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 115866 63 0 0 17 0 11 0 778405082 859852800 38921 4294967295 134512640 134569956 3221224368 3221214688 1131271839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38921 13086 16 0 209909 0
vsize: 839700
[startup+1290.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 116777 63 0 0 17 0 11 0 778405082 859852800 38951 4294967295 134512640 134569956 3221224368 3221214792 1131355427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38951 13086 16 0 209909 0
vsize: 839700
[startup+1300.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 117691 63 0 0 16 0 11 0 778405082 859852800 38973 4294967295 134512640 134569956 3221224368 3221214736 1131392250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 38973 13086 16 0 209909 0
vsize: 839700
[startup+1310.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 118607 63 0 0 17 0 11 0 778405082 859852800 38980 4294967295 134512640 134569956 3221224368 3221214788 1131272617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209925 38980 13086 16 0 209909 0
vsize: 839700
[startup+1320.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 119522 64 0 0 17 0 11 0 778405082 859852800 39009 4294967295 134512640 134569956 3221224368 3221214608 1131544211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 39009 13086 16 0 209909 0
vsize: 839700
[startup+1330.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5675
Raw data (stat): 5665 (java) R 5664 23514 23513 0 -1 0 18081 0 1 0 120442 64 0 0 17 0 11 0 778405082 859852800 39015 4294967295 134512640 134569956 3221224368 3221214748 1131187036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209925 39015 13086 16 0 209909 0
vsize: 839700
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1330.25 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 5677
Raw data (stat): 5665 (java) Z 5664 23514 23513 0 -1 1036 18081 29587 1 0 120446 64 13849 71 17 0 1 0 778405082 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): 1330.25
CPU time (s): 1344.33
CPU user time (s): 1342.96
CPU system time (s): 1.36679
CPU usage (%): 101.059
Max. virtual memory (Kb): 840796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####