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/submitted/manquinho/logic-synthesis/normalized-test4.pi.opb
MD5SUM	09c7b63b87fdc5a38ccb26d9b87fe2d9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	119
Optimality of the best value was proved	NO
Number of terms in the objective function	6140
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	6140
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	6140
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.07
Number of variables	6139
Total number of constraints	1437
Number of constraints which are clauses	1437
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	172
Trace number 4289

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-04-13 16:14:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=666 boxname=wulflinc7 idbench=74 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  09c7b63b87fdc5a38ccb26d9b87fe2d9  /oldhome/oroussel/tmp/wulflinc7/normalized-test4.pi.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc7/normalized-test4.pi.opb
IDLAUNCH: 666
/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:        921984 kB
Buffers:         36384 kB
Cached:          56708 kB
SwapCached:          0 kB
Active:          72668 kB
Inactive:        23248 kB
HighTotal:      131008 kB
HighFree:        70420 kB
LowTotal:       903652 kB
LowFree:        851564 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            11252 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:35:17 (client local time) WITH STATUS 143 IN  SECONDS
stats: 666 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc7/normalized-test4.pi.opb
c reading problem 
c [nbvar=6140]
c [nbconstr=1437]
c time 16.144
c #vars     6140
c #clauses  1437
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=195
c Current CPU time (ms) : 18.047
c starts	: 1
c conflicts	: 0
c decisions	: 5945
c propagations	: 6140
c inspects	: 8863
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=194
c Current CPU time (ms) : 28.16
c starts	: 2
c conflicts	: 4
c decisions	: 11876
c propagations	: 12388
c inspects	: 9646
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 4
c root simplifications	: 2
c 
c CURRENT OPTIMUM=184
c Current CPU time (ms) : 36.432
c starts	: 3
c conflicts	: 4
c decisions	: 17833
c propagations	: 18528
c inspects	: 20441
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 4
c root simplifications	: 3
c 
c CURRENT OPTIMUM=183
c Current CPU time (ms) : 39.196
c starts	: 4
c conflicts	: 5
c decisions	: 23780
c propagations	: 24677
c inspects	: 21170
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 5
c root simplifications	: 4
c 
c CURRENT OPTIMUM=175
c Current CPU time (ms) : 51.472
c starts	: 5
c conflicts	: 5
c decisions	: 29745
c propagations	: 30817
c inspects	: 28462
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 5
c root simplifications	: 5
c 
c CURRENT OPTIMUM=174
c Current CPU time (ms) : 69.367
c starts	: 6
c conflicts	: 12
c decisions	: 35699
c propagations	: 37113
c inspects	: 29336
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 12
c root simplifications	: 6
#### 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.94 0.73 2/54 23339
Raw data (stat): 23339 (runsolver) R 23338 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419090679 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99978 s]
Raw data (loadavg): 0.87 0.94 0.73 2/63 23348
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 17976 0 1 0 895 46 0 0 25 0 10 0 419090679 853544960 19083 4294967295 134512640 134569956 3221224416 3221214416 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208385 19083 13073 16 0 208369 0
vsize: 833540
[startup+20.0002 s]
Raw data (loadavg): 0.97 0.96 0.74 2/64 23350
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18050 3 1 0 1711 48 0 0 25 0 11 0 419090679 859910144 21432 4294967295 134512640 134569956 3221224416 3221214672 1131278806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209939 21432 13073 16 0 209923 0
vsize: 839756
[startup+30.0017 s]
Raw data (loadavg): 1.21 1.01 0.76 3/64 23351
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18090 3 1 0 2494 48 0 0 25 0 11 0 419090679 867147776 24083 4294967295 134512640 134569956 3221224416 3221214672 1131278806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211706 24083 13073 16 0 211690 0
vsize: 846824
[startup+40.0017 s]
Raw data (loadavg): 1.18 1.01 0.76 2/64 23353
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 3425 49 0 0 25 0 11 0 419090679 865198080 24271 4294967295 134512640 134569956 3221224416 3221214776 1131357995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 24271 13073 16 0 211214 0
vsize: 844920
[startup+50.0022 s]
Raw data (loadavg): 1.15 1.01 0.76 2/64 23353
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 4342 49 0 0 25 0 11 0 419090679 865198080 24281 4294967295 134512640 134569956 3221224416 3221214672 1131279045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 24281 13073 16 0 211214 0
vsize: 844920
[startup+60.0023 s]
Raw data (loadavg): 1.13 1.01 0.76 2/64 23354
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 5245 49 0 0 25 0 11 0 419090679 865198080 24688 4294967295 134512640 134569956 3221224416 3221214784 1131486691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 24688 13073 16 0 211214 0
vsize: 844920
[startup+70.0026 s]
Raw data (loadavg): 1.11 1.01 0.77 3/63 23354
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 6151 49 0 0 25 0 10 0 419090679 865198080 25165 4294967295 134512640 134569956 3221224416 3221214680 1131267573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 25165 13073 16 0 211214 0
vsize: 844920
[startup+80.0302 s]
Raw data (loadavg): 1.09 1.00 0.77 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 7082 50 0 0 25 0 11 0 419090679 865198080 25250 4294967295 134512640 134569956 3221224416 3221214776 1131356931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 25250 13073 16 0 211214 0
vsize: 844920
[startup+90.0302 s]
Raw data (loadavg): 1.08 1.00 0.77 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 7994 50 0 0 25 0 11 0 419090679 865198080 25250 4294967295 134512640 134569956 3221224416 3221214776 1131357961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 25250 13073 16 0 211214 0
vsize: 844920
[startup+100.03 s]
Raw data (loadavg): 1.06 1.00 0.77 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 8916 51 0 0 25 0 11 0 419090679 865198080 25808 4294967295 134512640 134569956 3221224416 3221214432 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 25808 13073 16 0 211214 0
vsize: 844920
[startup+110.031 s]
Raw data (loadavg): 1.05 1.00 0.77 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 9871 51 0 0 25 0 11 0 419090679 865198080 26106 4294967295 134512640 134569956 3221224416 3221214768 1131418185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 26106 13073 16 0 211214 0
vsize: 844920
[startup+120.032 s]
Raw data (loadavg): 1.05 1.00 0.78 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 10821 51 0 0 25 0 11 0 419090679 865198080 26120 4294967295 134512640 134569956 3221224416 3221214704 1131424435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 26120 13073 16 0 211214 0
vsize: 844920
[startup+130.032 s]
Raw data (loadavg): 1.04 1.00 0.78 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 11757 52 0 0 25 0 11 0 419090679 865198080 26232 4294967295 134512640 134569956 3221224416 3221214500 1131470515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 26232 13073 16 0 211214 0
vsize: 844920
[startup+140.032 s]
Raw data (loadavg): 1.03 1.00 0.78 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 12685 52 0 0 25 0 11 0 419090679 865198080 26232 4294967295 134512640 134569956 3221224416 3221214704 1131424435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 26232 13073 16 0 211214 0
vsize: 844920
[startup+150.033 s]
Raw data (loadavg): 1.03 1.00 0.78 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 13622 52 0 0 25 0 11 0 419090679 865198080 26541 4294967295 134512640 134569956 3221224416 3221214672 1131333527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 26541 13073 16 0 211214 0
vsize: 844920
[startup+160.032 s]
Raw data (loadavg): 1.02 1.00 0.78 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 14538 53 0 0 25 0 11 0 419090679 865198080 26740 4294967295 134512640 134569956 3221224416 3221214632 1131395795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 26740 13073 16 0 211214 0
vsize: 844920
[startup+170.033 s]
Raw data (loadavg): 1.02 1.00 0.79 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 15463 53 0 0 25 0 11 0 419090679 865198080 26839 4294967295 134512640 134569956 3221224416 3221214632 1131393529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 26839 13073 16 0 211214 0
vsize: 844920
[startup+180.033 s]
Raw data (loadavg): 1.02 1.00 0.79 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 16382 53 0 0 25 0 11 0 419090679 865198080 26936 4294967295 134512640 134569956 3221224416 3221214636 1080204290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 26936 13073 16 0 211214 0
vsize: 844920
[startup+190.033 s]
Raw data (loadavg): 1.01 1.00 0.79 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 17335 53 0 0 24 0 11 0 419090679 865198080 27304 4294967295 134512640 134569956 3221224416 3221213336 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 27304 13073 16 0 211214 0
vsize: 844920
[startup+200.034 s]
Raw data (loadavg): 1.01 1.00 0.79 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 18287 54 0 0 25 0 11 0 419090679 865198080 27405 4294967295 134512640 134569956 3221224416 3221214704 1131427392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 27405 13073 16 0 211214 0
vsize: 844920
[startup+210.034 s]
Raw data (loadavg): 1.01 1.00 0.79 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 19239 54 0 0 25 0 11 0 419090679 865198080 27503 4294967295 134512640 134569956 3221224416 3221214704 1131424665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 27503 13073 16 0 211214 0
vsize: 844920
[startup+220.035 s]
Raw data (loadavg): 1.01 1.00 0.79 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 20194 54 0 0 25 0 11 0 419090679 865198080 27603 4294967295 134512640 134569956 3221224416 3221214576 1131389099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 27603 13073 16 0 211214 0
vsize: 844920
[startup+230.035 s]
Raw data (loadavg): 1.00 1.00 0.80 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 21160 54 0 0 25 0 11 0 419090679 865198080 27701 4294967295 134512640 134569956 3221224416 3221214704 1131427009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 27701 13073 16 0 211214 0
vsize: 844920
[startup+240.035 s]
Raw data (loadavg): 1.00 1.00 0.80 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 22119 55 0 0 25 0 11 0 419090679 865198080 27701 4294967295 134512640 134569956 3221224416 3221214680 1131578068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 27701 13073 16 0 211214 0
vsize: 844920
[startup+250.035 s]
Raw data (loadavg): 1.00 1.00 0.80 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 23069 55 0 0 25 0 11 0 419090679 865198080 27796 4294967295 134512640 134569956 3221224416 3221214760 1131474534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 27796 13073 16 0 211214 0
vsize: 844920
[startup+260.036 s]
Raw data (loadavg): 1.00 1.00 0.80 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 24014 55 0 0 25 0 11 0 419090679 865198080 27796 4294967295 134512640 134569956 3221224416 3221214704 1131424753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 27796 13073 16 0 211214 0
vsize: 844920
[startup+270.037 s]
Raw data (loadavg): 1.00 1.00 0.80 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 24952 56 0 0 25 0 11 0 419090679 865198080 27987 4294967295 134512640 134569956 3221224416 3221214656 1131330042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 27987 13073 16 0 211214 0
vsize: 844920
[startup+280.037 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 23355
Raw data (stat): 23339 (java) S 23338 22932 22931 0 -1 0 18091 3 1 0 25879 56 0 0 25 0 11 0 419090679 865198080 28078 4294967295 134512640 134569956 3221224416 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 28078 13073 16 0 211214 0
vsize: 844920
[startup+290.037 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 26816 56 0 0 25 0 11 0 419090679 865198080 28259 4294967295 134512640 134569956 3221224416 3221214552 1131475573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 28259 13073 16 0 211214 0
vsize: 844920
[startup+300.038 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 23355
Raw data (stat): 23339 (java) S 23338 22932 22931 0 -1 0 18091 3 1 0 27756 56 0 0 25 0 11 0 419090679 865198080 28437 4294967295 134512640 134569956 3221224416 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 28437 13073 16 0 211214 0
vsize: 844920
[startup+310.039 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 28696 57 0 0 25 0 11 0 419090679 865198080 28593 4294967295 134512640 134569956 3221224416 3221214624 1131386125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 28593 13073 16 0 211214 0
vsize: 844920
[startup+320.04 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 29642 58 0 0 25 0 11 0 419090679 865198080 28593 4294967295 134512640 134569956 3221224416 3221214784 1131486617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 28593 13073 16 0 211214 0
vsize: 844920
[startup+330.04 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 23355
Raw data (stat): 23339 (java) S 23338 22932 22931 0 -1 0 18091 3 1 0 30540 58 0 0 25 0 11 0 419090679 865198080 29235 4294967295 134512640 134569956 3221224416 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 29235 13073 16 0 211214 0
vsize: 844920
[startup+340.039 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 31446 58 0 0 25 0 11 0 419090679 865198080 29996 4294967295 134512640 134569956 3221224416 3221214704 1131424753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 29996 13073 16 0 211214 0
vsize: 844920
[startup+350.04 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 23355
Raw data (stat): 23339 (java) S 23338 22932 22931 0 -1 0 18091 3 1 0 32351 58 0 0 25 0 11 0 419090679 865198080 30731 4294967295 134512640 134569956 3221224416 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 30731 13073 16 0 211214 0
vsize: 844920
[startup+360.041 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18091 3 1 0 33274 58 0 0 25 0 11 0 419090679 865198080 30850 4294967295 134512640 134569956 3221224416 3221214432 1131333667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 30850 13073 16 0 211214 0
vsize: 844920
[startup+370.041 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 34198 59 0 0 25 0 11 0 419090679 865198080 30852 4294967295 134512640 134569956 3221224416 3221214544 1131406419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 30852 13073 16 0 211214 0
vsize: 844920
[startup+380.041 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 35111 59 0 0 25 0 11 0 419090679 865198080 30852 4294967295 134512640 134569956 3221224416 3221214432 1131333527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 30852 13073 16 0 211214 0
vsize: 844920
[startup+390.042 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 36046 59 0 0 25 0 11 0 419090679 865198080 31486 4294967295 134512640 134569956 3221224416 3221214536 1131495287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 31486 13073 16 0 211214 0
vsize: 844920
[startup+400.042 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 37031 59 0 0 21 0 11 0 419090679 865198080 31650 4294967295 134512640 134569956 3221224416 3221214536 1131495377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 31650 13073 16 0 211214 0
vsize: 844920
[startup+410.042 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 37999 60 0 0 25 0 11 0 419090679 865198080 31650 4294967295 134512640 134569956 3221224416 3221214424 1131333667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 31650 13073 16 0 211214 0
vsize: 844920
[startup+420.043 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 38967 60 0 0 25 0 11 0 419090679 865198080 31654 4294967295 134512640 134569956 3221224416 3221214520 1131485661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 31654 13073 16 0 211214 0
vsize: 844920
[startup+430.043 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 39938 61 0 0 25 0 11 0 419090679 865198080 31654 4294967295 134512640 134569956 3221224416 3221214520 1131566723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 31654 13073 16 0 211214 0
vsize: 844920
[startup+440.044 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 40909 61 0 0 25 0 11 0 419090679 865198080 31898 4294967295 134512640 134569956 3221224416 3221214424 1131333330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 31898 13073 16 0 211214 0
vsize: 844920
[startup+450.044 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 41883 62 0 0 25 0 11 0 419090679 865198080 31898 4294967295 134512640 134569956 3221224416 3221214424 1131333527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 31898 13073 16 0 211214 0
vsize: 844920
[startup+460.044 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 42852 63 0 0 25 0 11 0 419090679 865198080 31898 4294967295 134512640 134569956 3221224416 3221214424 1131333664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 31898 13073 16 0 211214 0
vsize: 844920
[startup+470.045 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 43821 63 0 0 25 0 11 0 419090679 865198080 31898 4294967295 134512640 134569956 3221224416 3221214424 1131333366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 31898 13073 16 0 211214 0
vsize: 844920
[startup+480.046 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 44787 63 0 0 25 0 11 0 419090679 865198080 31918 4294967295 134512640 134569956 3221224416 3221214632 1131646871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 31918 13073 16 0 211214 0
vsize: 844920
[startup+490.045 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 45773 63 0 0 25 0 11 0 419090679 865198080 32082 4294967295 134512640 134569956 3221224416 3221214520 1131566589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32082 13073 16 0 211214 0
vsize: 844920
[startup+500.046 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 46770 63 0 0 25 0 11 0 419090679 865198080 32082 4294967295 134512640 134569956 3221224416 3221214632 1131646868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32082 13073 16 0 211214 0
vsize: 844920
[startup+510.046 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 47766 64 0 0 25 0 11 0 419090679 865198080 32082 4294967295 134512640 134569956 3221224416 3221214632 1131646848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32082 13073 16 0 211214 0
vsize: 844920
[startup+520.046 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 48762 65 0 0 25 0 11 0 419090679 865198080 32082 4294967295 134512640 134569956 3221224416 3221214520 1131333667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32082 13073 16 0 211214 0
vsize: 844920
[startup+530.047 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 49760 65 0 0 25 0 11 0 419090679 865198080 32090 4294967295 134512640 134569956 3221224416 3221214632 1131394272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32090 13073 16 0 211214 0
vsize: 844920
[startup+540.047 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 50756 66 0 0 25 0 11 0 419090679 865198080 32090 4294967295 134512640 134569956 3221224416 3221214632 1131646871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32090 13073 16 0 211214 0
vsize: 844920
[startup+550.047 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 51752 66 0 0 25 0 11 0 419090679 865198080 32090 4294967295 134512640 134569956 3221224416 3221214520 1131333837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32090 13073 16 0 211214 0
vsize: 844920
[startup+560.047 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 52749 66 0 0 25 0 11 0 419090679 865198080 32090 4294967295 134512640 134569956 3221224416 3221214628 1131278387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32090 13073 16 0 211214 0
vsize: 844920
[startup+570.048 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 53746 66 0 0 25 0 11 0 419090679 865198080 32094 4294967295 134512640 134569956 3221224416 3221214520 1131333620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32094 13073 16 0 211214 0
vsize: 844920
[startup+580.049 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 54729 67 0 0 24 0 11 0 419090679 865198080 32099 4294967295 134512640 134569956 3221224416 3221214808 1131407988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32099 13073 16 0 211214 0
vsize: 844920
[startup+590.049 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 55704 67 0 0 25 0 11 0 419090679 865198080 32099 4294967295 134512640 134569956 3221224416 3221214520 1131566783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32099 13073 16 0 211214 0
vsize: 844920
[startup+600.049 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 56680 67 0 0 25 0 11 0 419090679 865198080 32099 4294967295 134512640 134569956 3221224416 3221214632 1131646891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32099 13073 16 0 211214 0
vsize: 844920
[startup+610.048 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 57654 68 0 0 25 0 11 0 419090679 865198080 32099 4294967295 134512640 134569956 3221224416 3221214632 1131646871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32099 13073 16 0 211214 0
vsize: 844920
[startup+620.05 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 58641 68 0 0 25 0 11 0 419090679 865198080 32192 4294967295 134512640 134569956 3221224416 3221214520 1131568981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32192 13073 16 0 211214 0
vsize: 844920
[startup+630.05 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 59622 69 0 0 25 0 11 0 419090679 865198080 32197 4294967295 134512640 134569956 3221224416 3221214512 1131333667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32197 13073 16 0 211214 0
vsize: 844920
[startup+640.05 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 60602 69 0 0 25 0 11 0 419090679 865198080 32197 4294967295 134512640 134569956 3221224416 3221214520 1131333527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32197 13073 16 0 211214 0
vsize: 844920
[startup+650.05 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 61582 69 0 0 25 0 11 0 419090679 865198080 32197 4294967295 134512640 134569956 3221224416 3221214520 1131333305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32197 13073 16 0 211214 0
vsize: 844920
[startup+660.05 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 62561 70 0 0 25 0 11 0 419090679 865198080 32197 4294967295 134512640 134569956 3221224416 3221214632 1131646992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32197 13073 16 0 211214 0
vsize: 844920
[startup+670.051 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 63556 70 0 0 25 0 11 0 419090679 865198080 32241 4294967295 134512640 134569956 3221224416 3221214624 1131664351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32241 13073 16 0 211214 0
vsize: 844920
[startup+680.052 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 64552 71 0 0 25 0 11 0 419090679 865198080 32241 4294967295 134512640 134569956 3221224416 3221214520 1131333945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32241 13073 16 0 211214 0
vsize: 844920
[startup+690.052 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 65549 71 0 0 25 0 11 0 419090679 865198080 32241 4294967295 134512640 134569956 3221224416 3221214520 1131568229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32241 13073 16 0 211214 0
vsize: 844920
[startup+700.052 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 66546 71 0 0 25 0 11 0 419090679 865198080 32241 4294967295 134512640 134569956 3221224416 3221214520 1131566327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32241 13073 16 0 211214 0
vsize: 844920
[startup+710.053 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 67541 72 0 0 25 0 11 0 419090679 865198080 32249 4294967295 134512640 134569956 3221224416 3221214680 1131578068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32249 13073 16 0 211214 0
vsize: 844920
[startup+720.054 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 68535 72 0 0 25 0 11 0 419090679 865198080 32249 4294967295 134512640 134569956 3221224416 3221214632 1131395766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32249 13073 16 0 211214 0
vsize: 844920
[startup+730.054 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 69529 72 0 0 25 0 11 0 419090679 865198080 32249 4294967295 134512640 134569956 3221224416 3221214632 1131646871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32249 13073 16 0 211214 0
vsize: 844920
[startup+740.054 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 70526 72 0 0 25 0 11 0 419090679 865198080 32253 4294967295 134512640 134569956 3221224416 3221214632 1131646936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32253 13073 16 0 211214 0
vsize: 844920
[startup+750.055 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 71523 73 0 0 25 0 11 0 419090679 865198080 32253 4294967295 134512640 134569956 3221224416 3221214632 1131646871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32253 13073 16 0 211214 0
vsize: 844920
[startup+760.055 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 72521 73 0 0 25 0 11 0 419090679 865198080 32253 4294967295 134512640 134569956 3221224416 3221214520 1131566559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32253 13073 16 0 211214 0
vsize: 844920
[startup+770.056 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 73516 73 0 0 25 0 11 0 419090679 865198080 32259 4294967295 134512640 134569956 3221224416 3221214776 1131356931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32259 13073 16 0 211214 0
vsize: 844920
[startup+780.057 s]
Raw data (loadavg): 1.07 1.02 0.87 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 74487 73 0 0 24 0 11 0 419090679 865198080 32259 4294967295 134512640 134569956 3221224416 3221214520 1131566555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32259 13073 16 0 211214 0
vsize: 844920
[startup+790.056 s]
Raw data (loadavg): 1.06 1.02 0.87 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 75461 73 0 0 25 0 11 0 419090679 865198080 32259 4294967295 134512640 134569956 3221224416 3221214512 1131333667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32259 13073 16 0 211214 0
vsize: 844920
[startup+800.057 s]
Raw data (loadavg): 1.05 1.01 0.87 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 76437 73 0 0 25 0 11 0 419090679 865198080 32259 4294967295 134512640 134569956 3221224416 3221214520 1131333667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32259 13073 16 0 211214 0
vsize: 844920
[startup+810.058 s]
Raw data (loadavg): 1.04 1.01 0.87 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 77416 73 0 0 25 0 11 0 419090679 865198080 32353 4294967295 134512640 134569956 3221224416 3221214520 1131333527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32353 13073 16 0 211214 0
vsize: 844920
[startup+820.058 s]
Raw data (loadavg): 1.04 1.01 0.87 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 78414 73 0 0 25 0 11 0 419090679 865198080 32358 4294967295 134512640 134569956 3221224416 3221214520 1131333664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32358 13073 16 0 211214 0
vsize: 844920
[startup+830.057 s]
Raw data (loadavg): 1.03 1.01 0.87 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 79411 73 0 0 25 0 11 0 419090679 865198080 32358 4294967295 134512640 134569956 3221224416 3221214520 1131566573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32358 13073 16 0 211214 0
vsize: 844920
[startup+840.057 s]
Raw data (loadavg): 1.02 1.01 0.87 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 80408 73 0 0 25 0 11 0 419090679 865198080 32358 4294967295 134512640 134569956 3221224416 3221214632 1131646871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32358 13073 16 0 211214 0
vsize: 844920
[startup+850.058 s]
Raw data (loadavg): 1.02 1.01 0.87 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 81405 73 0 0 25 0 11 0 419090679 865198080 32358 4294967295 134512640 134569956 3221224416 3221214632 1131646871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32358 13073 16 0 211214 0
vsize: 844920
[startup+860.058 s]
Raw data (loadavg): 1.02 1.01 0.87 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 82401 74 0 0 25 0 11 0 419090679 865198080 32367 4294967295 134512640 134569956 3221224416 3221214624 1131664327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32367 13073 16 0 211214 0
vsize: 844920
[startup+870.058 s]
Raw data (loadavg): 1.01 1.01 0.88 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 83399 74 0 0 25 0 11 0 419090679 865198080 32367 4294967295 134512640 134569956 3221224416 3221214520 1131333679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32367 13073 16 0 211214 0
vsize: 844920
[startup+880.058 s]
Raw data (loadavg): 1.01 1.01 0.88 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 84396 74 0 0 25 0 11 0 419090679 865198080 32367 4294967295 134512640 134569956 3221224416 3221214520 1131333330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32367 13073 16 0 211214 0
vsize: 844920
[startup+890.058 s]
Raw data (loadavg): 1.01 1.01 0.88 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 85393 74 0 0 25 0 11 0 419090679 865198080 32375 4294967295 134512640 134569956 3221224416 3221214632 1131393855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32375 13073 16 0 211214 0
vsize: 844920
[startup+900.058 s]
Raw data (loadavg): 1.01 1.00 0.88 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 86390 74 0 0 25 0 11 0 419090679 865198080 32375 4294967295 134512640 134569956 3221224416 3221214520 1131333527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32375 13073 16 0 211214 0
vsize: 844920
[startup+910.057 s]
Raw data (loadavg): 1.01 1.00 0.88 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 87387 74 0 0 25 0 11 0 419090679 865198080 32375 4294967295 134512640 134569956 3221224416 3221214512 1131333667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32375 13073 16 0 211214 0
vsize: 844920
[startup+920.058 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 88384 74 0 0 25 0 11 0 419090679 865198080 32375 4294967295 134512640 134569956 3221224416 3221214520 1131333740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32375 13073 16 0 211214 0
vsize: 844920
[startup+930.059 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 89381 74 0 0 25 0 11 0 419090679 865198080 32383 4294967295 134512640 134569956 3221224416 3221214672 1131278806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32383 13073 16 0 211214 0
vsize: 844920
[startup+940.058 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 90354 74 0 0 25 0 11 0 419090679 865198080 32383 4294967295 134512640 134569956 3221224416 3221214520 1131333667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32383 13073 16 0 211214 0
vsize: 844920
[startup+950.059 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 91330 74 0 0 25 0 11 0 419090679 865198080 32383 4294967295 134512640 134569956 3221224416 3221214632 1131646864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32383 13073 16 0 211214 0
vsize: 844920
[startup+960.059 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 92305 74 0 0 25 0 11 0 419090679 865198080 32383 4294967295 134512640 134569956 3221224416 3221214560 1131632213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32383 13073 16 0 211214 0
vsize: 844920
[startup+970.059 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 93283 74 0 0 25 0 11 0 419090679 865198080 32477 4294967295 134512640 134569956 3221224416 3221214520 1131333330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32477 13073 16 0 211214 0
vsize: 844920
[startup+980.059 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 94279 75 0 0 25 0 11 0 419090679 865198080 32483 4294967295 134512640 134569956 3221224416 3221214520 1131333593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32483 13073 16 0 211214 0
vsize: 844920
[startup+990.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 95276 75 0 0 25 0 11 0 419090679 865198080 32483 4294967295 134512640 134569956 3221224416 3221214512 1131333664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32483 13073 16 0 211214 0
vsize: 844920
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 96274 75 0 0 25 0 11 0 419090679 865198080 32483 4294967295 134512640 134569956 3221224416 3221214520 1131566653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32483 13073 16 0 211214 0
vsize: 844920
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 97271 75 0 0 25 0 11 0 419090679 865198080 32483 4294967295 134512640 134569956 3221224416 3221214632 1131646871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32483 13073 16 0 211214 0
vsize: 844920
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 98268 75 0 0 25 0 11 0 419090679 865198080 32491 4294967295 134512640 134569956 3221224416 3221214632 1131646891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32491 13073 16 0 211214 0
vsize: 844920
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 99265 75 0 0 25 0 11 0 419090679 865198080 32491 4294967295 134512640 134569956 3221224416 3221214624 1131664430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32491 13073 16 0 211214 0
vsize: 844920
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 100262 75 0 0 25 0 11 0 419090679 865198080 32491 4294967295 134512640 134569956 3221224416 3221214520 1131333997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32491 13073 16 0 211214 0
vsize: 844920
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 101259 75 0 0 25 0 11 0 419090679 865198080 32491 4294967295 134512640 134569956 3221224416 3221214520 1131566350 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32491 13073 16 0 211214 0
vsize: 844920
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 102254 76 0 0 25 0 11 0 419090679 865198080 32499 4294967295 134512640 134569956 3221224416 3221214808 1131407812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32499 13073 16 0 211214 0
vsize: 844920
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 103248 76 0 0 25 0 11 0 419090679 865198080 32499 4294967295 134512640 134569956 3221224416 3221214692 1080203690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32499 13073 16 0 211214 0
vsize: 844920
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 104244 77 0 0 25 0 11 0 419090679 865198080 32499 4294967295 134512640 134569956 3221224416 3221214632 1131646871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32499 13073 16 0 211214 0
vsize: 844920
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 105240 77 0 0 25 0 11 0 419090679 865198080 32503 4294967295 134512640 134569956 3221224416 3221214520 1131566327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32503 13073 16 0 211214 0
vsize: 844920
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 106237 77 0 0 25 0 11 0 419090679 865198080 32503 4294967295 134512640 134569956 3221224416 3221214632 1131646981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32503 13073 16 0 211214 0
vsize: 844920
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 107234 78 0 0 25 0 11 0 419090679 865198080 32503 4294967295 134512640 134569956 3221224416 3221214520 1131566566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32503 13073 16 0 211214 0
vsize: 844920
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 108231 78 0 0 25 0 11 0 419090679 865198080 32509 4294967295 134512640 134569956 3221224416 3221214512 1131333359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32509 13073 16 0 211214 0
vsize: 844920
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 109227 78 0 0 25 0 11 0 419090679 865198080 32509 4294967295 134512640 134569956 3221224416 3221214624 1131664430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32509 13073 16 0 211214 0
vsize: 844920
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 110223 78 0 0 25 0 11 0 419090679 865198080 32509 4294967295 134512640 134569956 3221224416 3221214520 1131333527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32509 13073 16 0 211214 0
vsize: 844920
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 111219 78 0 0 25 0 11 0 419090679 865198080 32509 4294967295 134512640 134569956 3221224416 3221214632 1131646856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32509 13073 16 0 211214 0
vsize: 844920
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 112205 78 0 0 25 0 11 0 419090679 865198080 32519 4294967295 134512640 134569956 3221224416 3221214776 1131513235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32519 13073 16 0 211214 0
vsize: 844920
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 113112 78 0 0 24 0 11 0 419090679 865198080 33155 4294967295 134512640 134569956 3221224416 3221214656 1131330169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 33155 13073 16 0 211214 0
vsize: 844920
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 114028 78 0 0 25 0 11 0 419090679 865198080 33155 4294967295 134512640 134569956 3221224416 3221214632 1131395795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 33155 13073 16 0 211214 0
vsize: 844920
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 114916 79 0 0 25 0 11 0 419090679 865198080 33499 4294967295 134512640 134569956 3221224416 3221214072 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 33499 13073 16 0 211214 0
vsize: 844920
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 115815 79 0 0 25 0 11 0 419090679 865198080 33761 4294967295 134512640 134569956 3221224416 3221214680 1131578068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 33761 13073 16 0 211214 0
vsize: 844920
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 116696 79 0 0 25 0 11 0 419090679 865198080 34851 4294967295 134512640 134569956 3221224416 3221214632 1131394516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 34851 13073 16 0 211214 0
vsize: 844920
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 117633 80 0 0 25 0 11 0 419090679 865198080 35661 4294967295 134512640 134569956 3221224416 3221214632 1131395795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 35661 13073 16 0 211214 0
vsize: 844920
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 118548 80 0 0 25 0 11 0 419090679 865198080 35661 4294967295 134512640 134569956 3221224416 3221214680 1131497058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 35661 13073 16 0 211214 0
vsize: 844920
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 119434 80 0 0 25 0 11 0 419090679 865198080 35817 4294967295 134512640 134569956 3221224416 3221214680 1131497008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 35817 13073 16 0 211214 0
vsize: 844920
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 23355
Raw data (stat): 23339 (java) R 23338 22932 22931 0 -1 0 18092 3 1 0 120322 81 0 0 25 0 11 0 419090679 865198080 36400 4294967295 134512640 134569956 3221224416 3221214672 1131520521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 36400 13073 16 0 211214 0
vsize: 844920
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.15 s]
Raw data (loadavg): 1.00 1.00 0.91 1/54 23357
Raw data (stat): 23339 (java) Z 23338 22932 22931 0 -1 1036 18092 15300 1 0 120323 81 4215 47 25 0 1 0 419090679 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): 1250.15
CPU time (s): 1246.68
CPU user time (s): 1245.39
CPU system time (s): 1.2858
CPU usage (%): 99.7219
Max. virtual memory (Kb): 846824
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####