PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pk1.opb
MD5SUM	4d8544323b5554a497d5d3c2a3b0ca03
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	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	2150078462
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.06299
Number of variables	985
Total number of constraints	100
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	55
Number of constraints which are nor clauses,nor cardinality constraints	45
Minimum length of a constraint	1
Maximum length of a constraint	115
Trace number 29601

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-25 09:28:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21005 boxname=wulflinc7 idbench=993 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  4d8544323b5554a497d5d3c2a3b0ca03  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-pk1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-pk1.opb
IDLAUNCH: 21005
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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		: 451.050
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:        733840 kB
Buffers:         25856 kB
Cached:         255180 kB
SwapCached:        756 kB
Active:          52888 kB
Inactive:       230292 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        733588 kB
SwapTotal:     2097136 kB
SwapFree:      2095584 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5132 kB
Slab:            11848 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 09:49:07 (client local time) WITH STATUS 143 IN 1243.51 SECONDS
stats: 21005 7 1243.51 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/wulflinc7/normalized-mps-v2-20-10-pk1.opb
c reading problem ... done. Time 1.846 ms.
c #vars     985
c #constraints  60
c starts	: 7
c conflicts	: 3115
c decisions	: 4346
c propagations	: 18693
c inspects	: 2914090
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3115
c root simplifications	: 7
s UNKNOWN
c Total CPU time (ms) : 1239.152
#### 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.86 0.97 0.99 2/54 7863
Raw data (stat): 7863 (runsolver) R 7862 24300 24299 0 -1 64 1 0 0 0 0 0 0 0 19 0 1 0 779586993 1052672 97 4294967295 134512640 135381576 3221224400 3221219772 135024803 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 97 215 215 0 42 0
vsize: 1028
[startup+9.99953 s]
Raw data (loadavg): 1.11 1.02 1.01 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18113 0 1 0 744 42 0 0 25 0 11 0 779586993 863019008 21287 4294967295 134512640 134569956 3221224384 3221214348 1130921247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210698 21287 13086 16 0 210682 0
vsize: 842792
[startup+20.001 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18114 0 1 0 1654 43 0 0 25 0 11 0 779586993 862728192 22080 4294967295 134512640 134569956 3221224384 3221214640 1131277801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 22080 13086 16 0 210611 0
vsize: 842508
[startup+30.0014 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 7873
Raw data (stat): 7863 (java) S 7862 24300 24299 0 -1 0 18116 0 1 0 2598 43 0 0 25 0 11 0 779586993 862728192 22684 4294967295 134512640 134569956 3221224384 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 22684 13086 16 0 210611 0
vsize: 842508
[startup+40.0015 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 3536 44 0 0 25 0 11 0 779586993 862728192 22929 4294967295 134512640 134569956 3221224384 3221214120 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 22929 13086 16 0 210611 0
vsize: 842508
[startup+50.0026 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 4465 44 0 0 25 0 11 0 779586993 862728192 23099 4294967295 134512640 134569956 3221224384 3221214592 1131239203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 23099 13086 16 0 210611 0
vsize: 842508
[startup+60.0021 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 5403 44 0 0 25 0 11 0 779586993 862728192 23200 4294967295 134512640 134569956 3221224384 3221214688 1131420328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 23200 13086 16 0 210611 0
vsize: 842508
[startup+70.0024 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 6332 44 0 0 25 0 11 0 779586993 862728192 23495 4294967295 134512640 134569956 3221224384 3221214688 1131420328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 23495 13086 16 0 210611 0
vsize: 842508
[startup+80.0037 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 7278 44 0 0 25 0 11 0 779586993 862728192 23835 4294967295 134512640 134569956 3221224384 3221214592 1131201720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 23835 13086 16 0 210611 0
vsize: 842508
[startup+90.0044 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 8240 44 0 0 25 0 11 0 779586993 862728192 23988 4294967295 134512640 134569956 3221224384 3221214592 1131250209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 23988 13086 16 0 210611 0
vsize: 842508
[startup+100.004 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 9203 45 0 0 25 0 11 0 779586993 862728192 24152 4294967295 134512640 134569956 3221224384 3221214592 1131251034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 24152 13086 16 0 210611 0
vsize: 842508
[startup+110.013 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 10171 45 0 0 25 0 11 0 779586993 862728192 24289 4294967295 134512640 134569956 3221224384 3221214192 1131502864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 24289 13086 16 0 210611 0
vsize: 842508
[startup+120.014 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 11140 45 0 0 25 0 11 0 779586993 862728192 24343 4294967295 134512640 134569956 3221224384 3221214688 1131420608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 24343 13086 16 0 210611 0
vsize: 842508
[startup+130.014 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 12104 45 0 0 25 0 11 0 779586993 862728192 24449 4294967295 134512640 134569956 3221224384 3221214636 1131262880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 24449 13086 16 0 210611 0
vsize: 842508
[startup+140.015 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 13067 45 0 0 24 0 11 0 779586993 862728192 24554 4294967295 134512640 134569956 3221224384 3221214536 1131446650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 24554 13086 16 0 210611 0
vsize: 842508
[startup+150.015 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 14034 46 0 0 25 0 11 0 779586993 862728192 24649 4294967295 134512640 134569956 3221224384 3221214688 1131413881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 24649 13086 16 0 210611 0
vsize: 842508
[startup+160.015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 14995 46 0 0 25 0 11 0 779586993 862728192 24761 4294967295 134512640 134569956 3221224384 3221214688 1131413857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 24761 13086 16 0 210611 0
vsize: 842508
[startup+170.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 15958 46 0 0 25 0 11 0 779586993 862728192 24884 4294967295 134512640 134569956 3221224384 3221214688 1131415896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 24884 13086 16 0 210611 0
vsize: 842508
[startup+180.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 16930 46 0 0 25 0 11 0 779586993 862728192 24978 4294967295 134512640 134569956 3221224384 3221214688 1131415776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 24978 13086 16 0 210611 0
vsize: 842508
[startup+190.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 17901 46 0 0 24 0 11 0 779586993 862728192 25117 4294967295 134512640 134569956 3221224384 3221214448 1131468801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25117 13086 16 0 210611 0
vsize: 842508
[startup+200.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 18874 46 0 0 25 0 11 0 779586993 862728192 25158 4294967295 134512640 134569956 3221224384 3221214092 1131500496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25158 13086 16 0 210611 0
vsize: 842508
[startup+210.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 19845 46 0 0 25 0 11 0 779586993 862728192 25216 4294967295 134512640 134569956 3221224384 3221214636 1131262984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25216 13086 16 0 210611 0
vsize: 842508
[startup+220.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 20815 47 0 0 25 0 11 0 779586993 862728192 25315 4294967295 134512640 134569956 3221224384 3221214592 1131250167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25315 13086 16 0 210611 0
vsize: 842508
[startup+230.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 21790 47 0 0 25 0 11 0 779586993 862728192 25391 4294967295 134512640 134569956 3221224384 3221214544 1131495248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25391 13086 16 0 210611 0
vsize: 842508
[startup+240.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 22766 47 0 0 25 0 11 0 779586993 862728192 25459 4294967295 134512640 134569956 3221224384 3221214688 1131420328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25459 13086 16 0 210611 0
vsize: 842508
[startup+250.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 23737 47 0 0 25 0 11 0 779586993 862728192 25519 4294967295 134512640 134569956 3221224384 3221214684 1131202829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25519 13086 16 0 210611 0
vsize: 842508
[startup+260.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 24710 47 0 0 25 0 11 0 779586993 862728192 25579 4294967295 134512640 134569956 3221224384 3221214688 1131413850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25579 13086 16 0 210611 0
vsize: 842508
[startup+270.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 25683 48 0 0 25 0 11 0 779586993 862728192 25644 4294967295 134512640 134569956 3221224384 3221214608 1131258561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25644 13086 16 0 210611 0
vsize: 842508
[startup+280.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18116 0 1 0 26652 48 0 0 25 0 11 0 779586993 862728192 25712 4294967295 134512640 134569956 3221224384 3221214688 1131416836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 25712 13086 16 0 210611 0
vsize: 842508
[startup+290.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 27620 48 0 0 25 0 11 0 779586993 862728192 25801 4294967295 134512640 134569956 3221224384 3221214592 1131250209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25801 13086 16 0 210611 0
vsize: 842508
[startup+300.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 28590 49 0 0 25 0 11 0 779586993 862728192 25859 4294967295 134512640 134569956 3221224384 3221214592 1131250267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25859 13086 16 0 210611 0
vsize: 842508
[startup+310.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 29559 49 0 0 25 0 11 0 779586993 862728192 25960 4294967295 134512640 134569956 3221224384 3221214592 1131239169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25960 13086 16 0 210611 0
vsize: 842508
[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 30527 49 0 0 25 0 11 0 779586993 862728192 26043 4294967295 134512640 134569956 3221224384 3221214592 1131250908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26043 13086 16 0 210611 0
vsize: 842508
[startup+330.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 31497 49 0 0 25 0 11 0 779586993 862728192 26118 4294967295 134512640 134569956 3221224384 3221214688 1131415829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26118 13086 16 0 210611 0
vsize: 842508
[startup+340.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 32469 50 0 0 25 0 11 0 779586993 862728192 26210 4294967295 134512640 134569956 3221224384 3221214688 1131415293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26210 13086 16 0 210611 0
vsize: 842508
[startup+350.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 33455 50 0 0 25 0 11 0 779586993 862728192 26256 4294967295 134512640 134569956 3221224384 3221214344 1131500472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26256 13086 16 0 210611 0
vsize: 842508
[startup+360.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 34430 50 0 0 25 0 11 0 779586993 862728192 26292 4294967295 134512640 134569956 3221224384 3221214640 1131277887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26292 13086 16 0 210611 0
vsize: 842508
[startup+370.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 35396 50 0 0 25 0 11 0 779586993 862728192 26332 4294967295 134512640 134569956 3221224384 3221214608 1131253579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26332 13086 16 0 210611 0
vsize: 842508
[startup+380.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 36351 50 0 0 25 0 11 0 779586993 862728192 26338 4294967295 134512640 134569956 3221224384 3221214096 1131500436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26338 13086 16 0 210611 0
vsize: 842508
[startup+390.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 37302 50 0 0 25 0 11 0 779586993 862728192 26592 4294967295 134512640 134569956 3221224384 3221213928 1131500345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26592 13086 16 0 210611 0
vsize: 842508
[startup+400.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 38254 50 0 0 24 0 11 0 779586993 862728192 26875 4294967295 134512640 134569956 3221224384 3221214536 1131445033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26875 13086 16 0 210611 0
vsize: 842508
[startup+410.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 39215 51 0 0 25 0 11 0 779586993 862728192 27018 4294967295 134512640 134569956 3221224384 3221214688 1131413850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 27018 13086 16 0 210611 0
vsize: 842508
[startup+420.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 40165 51 0 0 25 0 11 0 779586993 862728192 27241 4294967295 134512640 134569956 3221224384 3221214648 1131247763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 27241 13086 16 0 210611 0
vsize: 842508
[startup+430.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 41102 51 0 0 25 0 11 0 779586993 862728192 27637 4294967295 134512640 134569956 3221224384 3221214688 1131416836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 27637 13086 16 0 210611 0
vsize: 842508
[startup+440.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 42017 51 0 0 25 0 11 0 779586993 862728192 27689 4294967295 134512640 134569956 3221224384 3221214592 1131250072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 27689 13086 16 0 210611 0
vsize: 842508
[startup+450.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 42945 51 0 0 25 0 11 0 779586993 862728192 27876 4294967295 134512640 134569956 3221224384 3221214592 1131251881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 27876 13086 16 0 210611 0
vsize: 842508
[startup+460.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 43894 52 0 0 25 0 11 0 779586993 862728192 28242 4294967295 134512640 134569956 3221224384 3221214592 1131250127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 28242 13086 16 0 210611 0
vsize: 842508
[startup+470.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 44866 52 0 0 25 0 11 0 779586993 862728192 28528 4294967295 134512640 134569956 3221224384 3221214688 1131420291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 28528 13086 16 0 210611 0
vsize: 842508
[startup+480.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 45847 53 0 0 25 0 11 0 779586993 862728192 28530 4294967295 134512640 134569956 3221224384 3221214688 1131415896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 28530 13086 16 0 210611 0
vsize: 842508
[startup+490.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 46824 53 0 0 25 0 11 0 779586993 862728192 28590 4294967295 134512640 134569956 3221224384 3221214592 1131250455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 28590 13086 16 0 210611 0
vsize: 842508
[startup+500.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 47806 54 0 0 25 0 11 0 779586993 862728192 28602 4294967295 134512640 134569956 3221224384 3221214688 1131420204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 28602 13086 16 0 210611 0
vsize: 842508
[startup+510.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 48785 54 0 0 25 0 11 0 779586993 862728192 28656 4294967295 134512640 134569956 3221224384 3221214688 1131419416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 28656 13086 16 0 210611 0
vsize: 842508
[startup+520.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 49766 54 0 0 25 0 11 0 779586993 862728192 28691 4294967295 134512640 134569956 3221224384 3221214592 1131239203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 28691 13086 16 0 210611 0
vsize: 842508
[startup+530.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 50748 55 0 0 25 0 11 0 779586993 862728192 28726 4294967295 134512640 134569956 3221224384 3221214688 1131413857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 28726 13086 16 0 210611 0
vsize: 842508
[startup+540.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 51727 56 0 0 25 0 11 0 779586993 862728192 28756 4294967295 134512640 134569956 3221224384 3221214684 1131239802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 28756 13086 16 0 210611 0
vsize: 842508
[startup+550.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 52706 56 0 0 25 0 11 0 779586993 862728192 28796 4294967295 134512640 134569956 3221224384 3221214592 1131250882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 28796 13086 16 0 210611 0
vsize: 842508
[startup+560.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 53688 57 0 0 25 0 11 0 779586993 862728192 28830 4294967295 134512640 134569956 3221224384 3221214688 1131415042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 28830 13086 16 0 210611 0
vsize: 842508
[startup+570.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 54667 57 0 0 25 0 11 0 779586993 862728192 28867 4294967295 134512640 134569956 3221224384 3221214336 1131498620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 28867 13086 16 0 210611 0
vsize: 842508
[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 55646 58 0 0 24 0 11 0 779586993 862728192 28898 4294967295 134512640 134569956 3221224384 3221214688 1131415896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 28898 13086 16 0 210611 0
vsize: 842508
[startup+590.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 56626 58 0 0 25 0 11 0 779586993 862728192 28935 4294967295 134512640 134569956 3221224384 3221214680 1131207154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 28935 13086 16 0 210611 0
vsize: 842508
[startup+600.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 57605 59 0 0 25 0 11 0 779586993 862728192 28974 4294967295 134512640 134569956 3221224384 3221214008 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 28974 13086 16 0 210611 0
vsize: 842508
[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 58584 59 0 0 25 0 11 0 779586993 862728192 29015 4294967295 134512640 134569956 3221224384 3221214688 1131416107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29015 13086 16 0 210611 0
vsize: 842508
[startup+620.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 59566 60 0 0 25 0 11 0 779586993 862728192 29044 4294967295 134512640 134569956 3221224384 3221214592 1131250417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29044 13086 16 0 210611 0
vsize: 842508
[startup+630.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 60545 60 0 0 25 0 11 0 779586993 862728192 29079 4294967295 134512640 134569956 3221224384 3221214592 1131250716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29079 13086 16 0 210611 0
vsize: 842508
[startup+640.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 61526 60 0 0 25 0 11 0 779586993 862728192 29115 4294967295 134512640 134569956 3221224384 3221214632 1131453778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29115 13086 16 0 210611 0
vsize: 842508
[startup+650.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 62505 60 0 0 25 0 11 0 779586993 862728192 29146 4294967295 134512640 134569956 3221224384 3221214688 1131416062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29146 13086 16 0 210611 0
vsize: 842508
[startup+660.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 63484 61 0 0 25 0 11 0 779586993 862728192 29185 4294967295 134512640 134569956 3221224384 3221214592 1131250346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29185 13086 16 0 210611 0
vsize: 842508
[startup+670.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) S 7862 24300 24299 0 -1 0 18117 0 1 0 64464 61 0 0 25 0 11 0 779586993 862728192 29213 4294967295 134512640 134569956 3221224384 3221213296 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29213 13086 16 0 210611 0
vsize: 842508
[startup+680.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 65445 61 0 0 25 0 11 0 779586993 862728192 29254 4294967295 134512640 134569956 3221224384 3221214592 1131250385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29254 13086 16 0 210611 0
vsize: 842508
[startup+690.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 66425 61 0 0 25 0 11 0 779586993 862728192 29286 4294967295 134512640 134569956 3221224384 3221214592 1131201722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29286 13086 16 0 210611 0
vsize: 842508
[startup+700.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 67407 61 0 0 25 0 11 0 779586993 862728192 29317 4294967295 134512640 134569956 3221224384 3221214592 1131250209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29317 13086 16 0 210611 0
vsize: 842508
[startup+710.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 68388 62 0 0 25 0 11 0 779586993 862728192 29344 4294967295 134512640 134569956 3221224384 3221214592 1131201754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29344 13086 16 0 210611 0
vsize: 842508
[startup+720.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 69368 62 0 0 25 0 11 0 779586993 862728192 29378 4294967295 134512640 134569956 3221224384 3221214688 1131419786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 29378 13086 16 0 210611 0
vsize: 842508
[startup+730.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) S 7862 24300 24299 0 -1 0 18117 0 1 0 70349 63 0 0 25 0 11 0 779586993 862728192 29412 4294967295 134512640 134569956 3221224384 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29412 13086 16 0 210611 0
vsize: 842508
[startup+740.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 71329 63 0 0 25 0 11 0 779586993 862728192 29437 4294967295 134512640 134569956 3221224384 3221214592 1131250617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29437 13086 16 0 210611 0
vsize: 842508
[startup+750.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 72309 63 0 0 25 0 11 0 779586993 862728192 29471 4294967295 134512640 134569956 3221224384 3221214688 1131415396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29471 13086 16 0 210611 0
vsize: 842508
[startup+760.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 73289 64 0 0 24 0 11 0 779586993 862728192 29499 4294967295 134512640 134569956 3221224384 3221214688 1131415317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29499 13086 16 0 210611 0
vsize: 842508
[startup+770.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 74271 64 0 0 25 0 11 0 779586993 862728192 29527 4294967295 134512640 134569956 3221224384 3221214688 1131416027 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29527 13086 16 0 210611 0
vsize: 842508
[startup+780.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 75250 64 0 0 25 0 11 0 779586993 862728192 29555 4294967295 134512640 134569956 3221224384 3221214688 1131413911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29555 13086 16 0 210611 0
vsize: 842508
[startup+790.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 76230 65 0 0 25 0 11 0 779586993 862728192 29584 4294967295 134512640 134569956 3221224384 3221214688 1131415896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29584 13086 16 0 210611 0
vsize: 842508
[startup+800.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 77208 65 0 0 25 0 11 0 779586993 862728192 29619 4294967295 134512640 134569956 3221224384 3221214664 1131264476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29619 13086 16 0 210611 0
vsize: 842508
[startup+810.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 78187 65 0 0 25 0 11 0 779586993 862728192 29660 4294967295 134512640 134569956 3221224384 3221214592 1131250975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 29660 13086 16 0 210611 0
vsize: 842508
[startup+820.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 79166 66 0 0 25 0 11 0 779586993 862728192 29686 4294967295 134512640 134569956 3221224384 3221214684 1131250048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29686 13086 16 0 210611 0
vsize: 842508
[startup+830.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 80144 66 0 0 25 0 11 0 779586993 862728192 29725 4294967295 134512640 134569956 3221224384 3221214688 1131413850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29725 13086 16 0 210611 0
vsize: 842508
[startup+840.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 81121 67 0 0 25 0 11 0 779586993 862728192 29759 4294967295 134512640 134569956 3221224384 3221214648 1131277792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 29759 13086 16 0 210611 0
vsize: 842508
[startup+850.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 82100 67 0 0 24 0 11 0 779586993 862728192 29808 4294967295 134512640 134569956 3221224384 3221214688 1131415880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29808 13086 16 0 210611 0
vsize: 842508
[startup+860.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 83081 68 0 0 25 0 11 0 779586993 862728192 29831 4294967295 134512640 134569956 3221224384 3221214408 1078032748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29831 13086 16 0 210611 0
vsize: 842508
[startup+870.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 84061 68 0 0 25 0 11 0 779586993 862728192 29860 4294967295 134512640 134569956 3221224384 3221214592 1131250385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29860 13086 16 0 210611 0
vsize: 842508
[startup+880.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 85040 69 0 0 24 0 11 0 779586993 862728192 29888 4294967295 134512640 134569956 3221224384 3221214592 1131250209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29888 13086 16 0 210611 0
vsize: 842508
[startup+890.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 86022 69 0 0 25 0 11 0 779586993 862728192 29913 4294967295 134512640 134569956 3221224384 3221214688 1131419458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29913 13086 16 0 210611 0
vsize: 842508
[startup+900.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 87001 70 0 0 25 0 11 0 779586993 862728192 29946 4294967295 134512640 134569956 3221224384 3221214688 1131416915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 29946 13086 16 0 210611 0
vsize: 842508
[startup+910.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 87981 70 0 0 25 0 11 0 779586993 862728192 29971 4294967295 134512640 134569956 3221224384 3221214592 1131250975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29971 13086 16 0 210611 0
vsize: 842508
[startup+920.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 88962 71 0 0 25 0 11 0 779586993 862728192 29998 4294967295 134512640 134569956 3221224384 3221214688 1131415896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29998 13086 16 0 210611 0
vsize: 842508
[startup+930.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 89941 71 0 0 25 0 11 0 779586993 862728192 30026 4294967295 134512640 134569956 3221224384 3221214688 1131413808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30026 13086 16 0 210611 0
vsize: 842508
[startup+940.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 90921 71 0 0 25 0 11 0 779586993 862728192 30059 4294967295 134512640 134569956 3221224384 3221214688 1131416782 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30059 13086 16 0 210611 0
vsize: 842508
[startup+950.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 91902 71 0 0 25 0 11 0 779586993 862728192 30088 4294967295 134512640 134569956 3221224384 3221214592 1131250935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30088 13086 16 0 210611 0
vsize: 842508
[startup+960.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 92882 72 0 0 25 0 11 0 779586993 862728192 30111 4294967295 134512640 134569956 3221224384 3221214592 1131251445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30111 13086 16 0 210611 0
vsize: 842508
[startup+970.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 93861 72 0 0 25 0 11 0 779586993 862728192 30139 4294967295 134512640 134569956 3221224384 3221214208 1131500490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30139 13086 16 0 210611 0
vsize: 842508
[startup+980.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 94842 72 0 0 25 0 11 0 779586993 862728192 30161 4294967295 134512640 134569956 3221224384 3221214688 1131416151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30161 13086 16 0 210611 0
vsize: 842508
[startup+990.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 95821 73 0 0 25 0 11 0 779586993 862728192 30193 4294967295 134512640 134569956 3221224384 3221214592 1131250330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30193 13086 16 0 210611 0
vsize: 842508
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 96801 73 0 0 25 0 11 0 779586993 862728192 30224 4294967295 134512640 134569956 3221224384 3221214592 1131250169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30224 13086 16 0 210611 0
vsize: 842508
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 97781 73 0 0 24 0 11 0 779586993 862728192 30248 4294967295 134512640 134569956 3221224384 3221214544 1131273681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30248 13086 16 0 210611 0
vsize: 842508
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 98762 74 0 0 25 0 11 0 779586993 862728192 30277 4294967295 134512640 134569956 3221224384 3221214544 1131445710 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30277 13086 16 0 210611 0
vsize: 842508
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 99741 74 0 0 25 0 11 0 779586993 862728192 30299 4294967295 134512640 134569956 3221224384 3221214624 1131262924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30299 13086 16 0 210611 0
vsize: 842508
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 100718 75 0 0 25 0 11 0 779586993 862728192 30333 4294967295 134512640 134569956 3221224384 3221214688 1131413857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30333 13086 16 0 210611 0
vsize: 842508
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 101698 75 0 0 25 0 11 0 779586993 862728192 30358 4294967295 134512640 134569956 3221224384 3221214688 1131416164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30358 13086 16 0 210611 0
vsize: 842508
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 102677 75 0 0 25 0 11 0 779586993 862728192 30382 4294967295 134512640 134569956 3221224384 3221214592 1131250362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30382 13086 16 0 210611 0
vsize: 842508
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 103656 75 0 0 25 0 11 0 779586993 862728192 30409 4294967295 134512640 134569956 3221224384 3221214688 1131415872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30409 13086 16 0 210611 0
vsize: 842508
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 104635 75 0 0 25 0 11 0 779586993 862728192 30440 4294967295 134512640 134569956 3221224384 3221214688 1131415896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30440 13086 16 0 210611 0
vsize: 842508
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 105616 76 0 0 25 0 11 0 779586993 862728192 30464 4294967295 134512640 134569956 3221224384 3221214680 1131207104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30464 13086 16 0 210611 0
vsize: 842508
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 106595 76 0 0 25 0 11 0 779586993 862728192 30493 4294967295 134512640 134569956 3221224384 3221214592 1131251724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30493 13086 16 0 210611 0
vsize: 842508
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 107574 76 0 0 25 0 11 0 779586993 862728192 30518 4294967295 134512640 134569956 3221224384 3221214684 1131207170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30518 13086 16 0 210611 0
vsize: 842508
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 108555 76 0 0 25 0 11 0 779586993 862728192 30543 4294967295 134512640 134569956 3221224384 3221214688 1131414980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30543 13086 16 0 210611 0
vsize: 842508
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 109534 77 0 0 25 0 11 0 779586993 862728192 30569 4294967295 134512640 134569956 3221224384 3221214592 1131250198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30569 13086 16 0 210611 0
vsize: 842508
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 110512 77 0 0 25 0 11 0 779586993 862728192 30597 4294967295 134512640 134569956 3221224384 3221214592 1131251864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30597 13086 16 0 210611 0
vsize: 842508
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 111493 78 0 0 25 0 11 0 779586993 862728192 30627 4294967295 134512640 134569956 3221224384 3221214592 1131251957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30627 13086 16 0 210611 0
vsize: 842508
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 112472 78 0 0 25 0 11 0 779586993 862728192 30654 4294967295 134512640 134569956 3221224384 3221214592 1131250209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30654 13086 16 0 210611 0
vsize: 842508
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 113451 78 0 0 25 0 11 0 779586993 862728192 30673 4294967295 134512640 134569956 3221224384 3221214688 1131419975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30673 13086 16 0 210611 0
vsize: 842508
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 114430 79 0 0 24 0 11 0 779586993 862728192 30701 4294967295 134512640 134569956 3221224384 3221214688 1131415872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30701 13086 16 0 210611 0
vsize: 842508
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 115411 80 0 0 25 0 11 0 779586993 862728192 30726 4294967295 134512640 134569956 3221224384 3221214592 1131250271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30726 13086 16 0 210611 0
vsize: 842508
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 116390 80 0 0 25 0 11 0 779586993 862728192 30748 4294967295 134512640 134569956 3221224384 3221214592 1131251424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30748 13086 16 0 210611 0
vsize: 842508
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 117368 80 0 0 25 0 11 0 779586993 862728192 30776 4294967295 134512640 134569956 3221224384 3221214592 1131201720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30776 13086 16 0 210611 0
vsize: 842508
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 118349 81 0 0 25 0 11 0 779586993 862728192 30801 4294967295 134512640 134569956 3221224384 3221214688 1131413857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30801 13086 16 0 210611 0
vsize: 842508
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 119326 81 0 0 25 0 11 0 779586993 862728192 30824 4294967295 134512640 134569956 3221224384 3221214592 1131250975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30824 13086 16 0 210611 0
vsize: 842508
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7873
Raw data (stat): 7863 (java) R 7862 24300 24299 0 -1 0 18117 0 1 0 120303 82 0 0 25 0 11 0 779586993 862728192 30857 4294967295 134512640 134569956 3221224384 3221214592 1131250267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 30857 13086 16 0 210611 0
vsize: 842508
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.19 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 7875
Raw data (stat): 7863 (java) Z 7862 24300 24299 0 -1 1036 18117 13115 1 0 120309 82 3914 43 25 0 1 0 779586993 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 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): 1240.19
CPU time (s): 1243.51
CPU user time (s): 1242.25
CPU system time (s): 1.25981
CPU usage (%): 100.267
Max. virtual memory (Kb): 842792
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####