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/synthesis-ptl-cmos-circuits/normalized-my_adder.opb
MD5SUM	fe8f615a95a6852516985b8e3e78bd85
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4561
Optimality of the best value was proved	NO
Number of terms in the objective function	577
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	24510
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	24510
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02584
Number of variables	577
Total number of constraints	1322
Number of constraints which are clauses	1306
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	16
Minimum length of a constraint	2
Maximum length of a constraint	17
Trace number 4445

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-13 17:17:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2295 boxname=wulflinc23 idbench=255 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  fe8f615a95a6852516985b8e3e78bd85  /oldhome/oroussel/tmp/wulflinc23/normalized-my_adder.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-my_adder.opb
IDLAUNCH: 2295
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        918500 kB
Buffers:         32684 kB
Cached:          40700 kB
SwapCached:        192 kB
Active:          40364 kB
Inactive:        36096 kB
HighTotal:      131008 kB
HighFree:        86408 kB
LowTotal:       903652 kB
LowFree:        832092 kB
SwapTotal:     2097136 kB
SwapFree:      2096944 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6908 kB
Slab:            34064 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:38:35 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2295 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc23/normalized-my_adder.opb
c reading problem 
c [nbvar=577]
c [nbconstr=1322]
c time 2.271
c #vars     577
c #clauses  1322
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=5793
c Current CPU time (ms) : 2.478
c starts	: 1
c conflicts	: 0
c decisions	: 223
c propagations	: 577
c inspects	: 1815
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=5790
c Current CPU time (ms) : 3.091
c starts	: 2
c conflicts	: 0
c decisions	: 431
c propagations	: 1154
c inspects	: 2912
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 2
c 
c CURRENT OPTIMUM=5418
c Current CPU time (ms) : 5.812
c starts	: 3
c conflicts	: 4
c decisions	: 853
c propagations	: 2170
c inspects	: 4794
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 4
c root simplifications	: 3
#### 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.99 1.01 0.96 2/54 3933
Raw data (stat): 3933 (runsolver) R 3932 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477684359 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 1.15 1.04 0.97 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18074 3 1 0 730 43 0 0 25 0 11 0 477684359 859422720 20243 4294967295 134512640 134569956 3221224416 3221214488 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209820 20243 13073 16 0 209804 0
vsize: 839280
[startup+20.0015 s]
Raw data (loadavg): 1.21 1.06 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18076 3 1 0 1663 43 0 0 25 0 11 0 477684359 860528640 21128 4294967295 134512640 134569956 3221224416 3221214512 1131233982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 21128 13073 16 0 210074 0
vsize: 840360
[startup+30.0017 s]
Raw data (loadavg): 1.18 1.05 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18076 3 1 0 2583 43 0 0 25 0 11 0 477684359 860528640 21520 4294967295 134512640 134569956 3221224416 3221214832 1131324055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 21520 13073 16 0 210074 0
vsize: 840360
[startup+40.0017 s]
Raw data (loadavg): 1.15 1.05 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18076 3 1 0 3488 44 0 0 25 0 11 0 477684359 860528640 22044 4294967295 134512640 134569956 3221224416 3221214792 1131268205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 22044 13073 16 0 210074 0
vsize: 840360
[startup+50.0025 s]
Raw data (loadavg): 1.12 1.05 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18076 3 1 0 4420 44 0 0 25 0 11 0 477684359 860528640 22315 4294967295 134512640 134569956 3221224416 3221214720 1131214757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 22315 13073 16 0 210074 0
vsize: 840360
[startup+60.0027 s]
Raw data (loadavg): 1.11 1.05 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18076 3 1 0 5341 44 0 0 25 0 11 0 477684359 860528640 22496 4294967295 134512640 134569956 3221224416 3221214760 1131290823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 22496 13073 16 0 210074 0
vsize: 840360
[startup+70.0038 s]
Raw data (loadavg): 1.09 1.05 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18076 3 1 0 6257 44 0 0 25 0 11 0 477684359 860528640 22729 4294967295 134512640 134569956 3221224416 3221214680 1131309759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 22729 13073 16 0 210074 0
vsize: 840360
[startup+80.0046 s]
Raw data (loadavg): 1.07 1.04 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 7168 44 0 0 25 0 11 0 477684359 860528640 22907 4294967295 134512640 134569956 3221224416 3221214680 1131309852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 22907 13073 16 0 210074 0
vsize: 840360
[startup+90.0049 s]
Raw data (loadavg): 1.06 1.04 0.98 2/64 3946
Raw data (stat): 3933 (java) S 3932 3260 3259 0 -1 0 18077 3 1 0 8084 44 0 0 25 0 11 0 477684359 860528640 23172 4294967295 134512640 134569956 3221224416 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 23172 13073 16 0 210074 0
vsize: 840360
[startup+100.005 s]
Raw data (loadavg): 1.05 1.04 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 9023 45 0 0 25 0 11 0 477684359 860528640 23344 4294967295 134512640 134569956 3221224416 3221214792 1131269260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 23344 13073 16 0 210074 0
vsize: 840360
[startup+110.006 s]
Raw data (loadavg): 1.04 1.04 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 9963 45 0 0 25 0 11 0 477684359 860528640 23623 4294967295 134512640 134569956 3221224416 3221214792 1131269274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 23623 13073 16 0 210074 0
vsize: 840360
[startup+120.006 s]
Raw data (loadavg): 1.04 1.04 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 10895 46 0 0 25 0 11 0 477684359 860528640 23740 4294967295 134512640 134569956 3221224416 3221214792 1131269093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 23740 13073 16 0 210074 0
vsize: 840360
[startup+130.006 s]
Raw data (loadavg): 1.03 1.04 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 11821 46 0 0 25 0 11 0 477684359 860528640 23826 4294967295 134512640 134569956 3221224416 3221214736 1131368239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 23826 13073 16 0 210074 0
vsize: 840360
[startup+140.007 s]
Raw data (loadavg): 1.03 1.03 0.98 2/64 3946
Raw data (stat): 3933 (java) S 3932 3260 3259 0 -1 0 18077 3 1 0 12740 46 0 0 25 0 11 0 477684359 860528640 23944 4294967295 134512640 134569956 3221224416 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 23944 13073 16 0 210074 0
vsize: 840360
[startup+150.007 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 13665 47 0 0 25 0 11 0 477684359 860528640 24286 4294967295 134512640 134569956 3221224416 3221214792 1131268173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 24286 13073 16 0 210074 0
vsize: 840360
[startup+160.008 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 14598 47 0 0 25 0 11 0 477684359 860528640 24427 4294967295 134512640 134569956 3221224416 3221214512 1131233982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 24427 13073 16 0 210074 0
vsize: 840360
[startup+170.009 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 15532 47 0 0 25 0 11 0 477684359 860528640 24565 4294967295 134512640 134569956 3221224416 3221214724 1080204290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 24565 13073 16 0 210074 0
vsize: 840360
[startup+180.008 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 16472 48 0 0 25 0 11 0 477684359 860528640 24758 4294967295 134512640 134569956 3221224416 3221214792 1131270186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 24758 13073 16 0 210074 0
vsize: 840360
[startup+190.009 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 17417 48 0 0 25 0 11 0 477684359 860528640 24895 4294967295 134512640 134569956 3221224416 3221214608 1131234025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 24895 13073 16 0 210074 0
vsize: 840360
[startup+200.01 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 18365 48 0 0 25 0 11 0 477684359 860528640 25105 4294967295 134512640 134569956 3221224416 3221214608 1131233980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 25105 13073 16 0 210074 0
vsize: 840360
[startup+210.011 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 3946
Raw data (stat): 3933 (java) S 3932 3260 3259 0 -1 0 18077 3 1 0 19327 48 0 0 25 0 11 0 477684359 860528640 25217 4294967295 134512640 134569956 3221224416 3221213312 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 25217 13073 16 0 210074 0
vsize: 840360
[startup+220.012 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 20289 49 0 0 25 0 11 0 477684359 860528640 25314 4294967295 134512640 134569956 3221224416 3221214600 1131525702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 25314 13073 16 0 210074 0
vsize: 840360
[startup+230.011 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 21246 49 0 0 25 0 11 0 477684359 860528640 25405 4294967295 134512640 134569956 3221224416 3221214696 1131214919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 25405 13073 16 0 210074 0
vsize: 840360
[startup+240.012 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 22211 49 0 0 25 0 11 0 477684359 860528640 25460 4294967295 134512640 134569956 3221224416 3221214696 1131214827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 25460 13073 16 0 210074 0
vsize: 840360
[startup+250.013 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 23156 49 0 0 25 0 11 0 477684359 860528640 25560 4294967295 134512640 134569956 3221224416 3221214608 1131234025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 25560 13073 16 0 210074 0
vsize: 840360
[startup+260.014 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 24090 50 0 0 25 0 11 0 477684359 860528640 25711 4294967295 134512640 134569956 3221224416 3221214776 1131266080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 25711 13073 16 0 210074 0
vsize: 840360
[startup+270.015 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 25026 50 0 0 25 0 11 0 477684359 860528640 25831 4294967295 134512640 134569956 3221224416 3221214792 1131268005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 25831 13073 16 0 210074 0
vsize: 840360
[startup+280.015 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 25961 51 0 0 24 0 11 0 477684359 860528640 25988 4294967295 134512640 134569956 3221224416 3221214608 1131234025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 25988 13073 16 0 210074 0
vsize: 840360
[startup+290.016 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 26911 51 0 0 25 0 11 0 477684359 860528640 26177 4294967295 134512640 134569956 3221224416 3221214704 1131593283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 26177 13073 16 0 210074 0
vsize: 840360
[startup+300.016 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 3946
Raw data (stat): 3933 (java) S 3932 3260 3259 0 -1 0 18077 3 1 0 27838 51 0 0 25 0 11 0 477684359 860528640 26319 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 26319 13073 16 0 210074 0
vsize: 840360
[startup+310.017 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 28767 52 0 0 25 0 11 0 477684359 860528640 26411 4294967295 134512640 134569956 3221224416 3221214696 1131215446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 26411 13073 16 0 210074 0
vsize: 840360
[startup+320.018 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 29683 52 0 0 25 0 11 0 477684359 860528640 26521 4294967295 134512640 134569956 3221224416 3221214832 1131323966 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 26521 13073 16 0 210074 0
vsize: 840360
[startup+330.018 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 30603 53 0 0 25 0 11 0 477684359 860528640 26787 4294967295 134512640 134569956 3221224416 3221214792 1131270269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 26787 13073 16 0 210074 0
vsize: 840360
[startup+340.019 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 31535 53 0 0 25 0 11 0 477684359 860528640 26976 4294967295 134512640 134569956 3221224416 3221214772 1080203664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 26976 13073 16 0 210074 0
vsize: 840360
[startup+350.02 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 32473 53 0 0 25 0 11 0 477684359 860528640 27149 4294967295 134512640 134569956 3221224416 3221214792 1131268173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 27149 13073 16 0 210074 0
vsize: 840360
[startup+360.021 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 33419 53 0 0 25 0 11 0 477684359 860528640 27351 4294967295 134512640 134569956 3221224416 3221214696 1131215025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 27351 13073 16 0 210074 0
vsize: 840360
[startup+370.022 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 34367 54 0 0 25 0 11 0 477684359 860528640 27502 4294967295 134512640 134569956 3221224416 3221214584 1131402057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 27502 13073 16 0 210074 0
vsize: 840360
[startup+380.022 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 35322 54 0 0 25 0 11 0 477684359 860528640 27623 4294967295 134512640 134569956 3221224416 3221214772 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 27623 13073 16 0 210074 0
vsize: 840360
[startup+390.022 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 36257 54 0 0 25 0 11 0 477684359 860528640 27668 4294967295 134512640 134569956 3221224416 3221214828 1131366354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 27668 13073 16 0 210074 0
vsize: 840360
[startup+400.023 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 37181 55 0 0 25 0 11 0 477684359 860528640 27827 4294967295 134512640 134569956 3221224416 3221214792 1131268241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 27827 13073 16 0 210074 0
vsize: 840360
[startup+410.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 38129 55 0 0 24 0 11 0 477684359 860528640 27876 4294967295 134512640 134569956 3221224416 3221214792 1131268270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 27876 13073 16 0 210074 0
vsize: 840360
[startup+420.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 39072 55 0 0 25 0 11 0 477684359 860528640 27983 4294967295 134512640 134569956 3221224416 3221214696 1131215578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 27983 13073 16 0 210074 0
vsize: 840360
[startup+430.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 40015 56 0 0 25 0 11 0 477684359 860528640 28368 4294967295 134512640 134569956 3221224416 3221214792 1131269270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 28368 13073 16 0 210074 0
vsize: 840360
[startup+440.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 40955 56 0 0 25 0 11 0 477684359 860528640 28554 4294967295 134512640 134569956 3221224416 3221214760 1131290213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 28554 13073 16 0 210074 0
vsize: 840360
[startup+450.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 41893 57 0 0 25 0 11 0 477684359 860528640 28585 4294967295 134512640 134569956 3221224416 3221214792 1131267981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 28585 13073 16 0 210074 0
vsize: 840360
[startup+460.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 42822 57 0 0 25 0 11 0 477684359 860528640 28609 4294967295 134512640 134569956 3221224416 3221214792 1131268260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 28609 13073 16 0 210074 0
vsize: 840360
[startup+470.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 43755 57 0 0 25 0 11 0 477684359 860528640 28913 4294967295 134512640 134569956 3221224416 3221214788 1131215589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 28913 13073 16 0 210074 0
vsize: 840360
[startup+480.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 44689 58 0 0 25 0 11 0 477684359 860528640 29111 4294967295 134512640 134569956 3221224416 3221214792 1131268180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 29111 13073 16 0 210074 0
vsize: 840360
[startup+490.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 45636 58 0 0 25 0 11 0 477684359 860528640 29286 4294967295 134512640 134569956 3221224416 3221214696 1131214610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 29286 13073 16 0 210074 0
vsize: 840360
[startup+500.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 46576 59 0 0 25 0 11 0 477684359 860528640 29328 4294967295 134512640 134569956 3221224416 3221214600 1131525298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 29328 13073 16 0 210074 0
vsize: 840360
[startup+510.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 47526 59 0 0 25 0 11 0 477684359 860528640 29551 4294967295 134512640 134569956 3221224416 3221214696 1131215434 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 29551 13073 16 0 210074 0
vsize: 840360
[startup+520.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 48480 59 0 0 25 0 11 0 477684359 860528640 29618 4294967295 134512640 134569956 3221224416 3221214228 1131612432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 29618 13073 16 0 210074 0
vsize: 840360
[startup+530.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 49454 60 0 0 25 0 11 0 477684359 860528640 29691 4294967295 134512640 134569956 3221224416 3221214696 1131214373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 29691 13073 16 0 210074 0
vsize: 840360
[startup+540.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 50425 60 0 0 25 0 11 0 477684359 860528640 29778 4294967295 134512640 134569956 3221224416 3221214608 1131234025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 29778 13073 16 0 210074 0
vsize: 840360
[startup+550.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 51396 60 0 0 25 0 11 0 477684359 860528640 29877 4294967295 134512640 134569956 3221224416 3221214792 1131268017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 29877 13073 16 0 210074 0
vsize: 840360
[startup+560.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 52355 61 0 0 25 0 11 0 477684359 860528640 29937 4294967295 134512640 134569956 3221224416 3221214696 1131214740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 29937 13073 16 0 210074 0
vsize: 840360
[startup+570.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 53317 61 0 0 25 0 11 0 477684359 860528640 30021 4294967295 134512640 134569956 3221224416 3221214792 1131268241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 30021 13073 16 0 210074 0
vsize: 840360
[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 54273 62 0 0 25 0 11 0 477684359 860528640 30096 4294967295 134512640 134569956 3221224416 3221214696 1131215578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 30096 13073 16 0 210074 0
vsize: 840360
[startup+590.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 55228 62 0 0 25 0 11 0 477684359 860528640 30185 4294967295 134512640 134569956 3221224416 3221214696 1131214341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 30185 13073 16 0 210074 0
vsize: 840360
[startup+600.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 56181 62 0 0 25 0 11 0 477684359 860528640 30255 4294967295 134512640 134569956 3221224416 3221214552 1131373350 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 30255 13073 16 0 210074 0
vsize: 840360
[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 57137 62 0 0 25 0 11 0 477684359 860528640 30357 4294967295 134512640 134569956 3221224416 3221214692 1080203730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 30357 13073 16 0 210074 0
vsize: 840360
[startup+620.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 58101 62 0 0 25 0 11 0 477684359 860528640 30419 4294967295 134512640 134569956 3221224416 3221214704 1131595411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 30419 13073 16 0 210074 0
vsize: 840360
[startup+630.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 59061 63 0 0 25 0 11 0 477684359 860528640 30584 4294967295 134512640 134569956 3221224416 3221214608 1131234677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 30584 13073 16 0 210074 0
vsize: 840360
[startup+640.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 60035 63 0 0 25 0 11 0 477684359 860528640 30640 4294967295 134512640 134569956 3221224416 3221214640 1131214333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 30640 13073 16 0 210074 0
vsize: 840360
[startup+650.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 60998 63 0 0 25 0 11 0 477684359 860528640 30701 4294967295 134512640 134569956 3221224416 3221214640 1131214876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 30701 13073 16 0 210074 0
vsize: 840360
[startup+660.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 61962 64 0 0 25 0 11 0 477684359 860528640 30766 4294967295 134512640 134569956 3221224416 3221214736 1131269382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 30766 13073 16 0 210074 0
vsize: 840360
[startup+670.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 62925 64 0 0 25 0 11 0 477684359 860528640 30871 4294967295 134512640 134569956 3221224416 3221214736 1131268212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 30871 13073 16 0 210074 0
vsize: 840360
[startup+680.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 63889 65 0 0 25 0 11 0 477684359 860528640 30927 4294967295 134512640 134569956 3221224416 3221214712 1131366832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 30927 13073 16 0 210074 0
vsize: 840360
[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 64852 66 0 0 25 0 11 0 477684359 860528640 31000 4294967295 134512640 134569956 3221224416 3221214640 1131214757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 31000 13073 16 0 210074 0
vsize: 840360
[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 65816 66 0 0 25 0 11 0 477684359 860528640 31078 4294967295 134512640 134569956 3221224416 3221214640 1131214730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 31078 13073 16 0 210074 0
vsize: 840360
[startup+710.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 66779 67 0 0 25 0 11 0 477684359 860528640 31155 4294967295 134512640 134569956 3221224416 3221214556 1131402028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 31155 13073 16 0 210074 0
vsize: 840360
[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 67746 67 0 0 25 0 11 0 477684359 860528640 31212 4294967295 134512640 134569956 3221224416 3221214708 1131365609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 31212 13073 16 0 210074 0
vsize: 840360
[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 68705 67 0 0 24 0 11 0 477684359 860528640 31295 4294967295 134512640 134569956 3221224416 3221214736 1131269101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 31295 13073 16 0 210074 0
vsize: 840360
[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 69672 68 0 0 25 0 11 0 477684359 860528640 31377 4294967295 134512640 134569956 3221224416 3221214640 1131214373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 31377 13073 16 0 210074 0
vsize: 840360
[startup+750.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 70632 68 0 0 24 0 11 0 477684359 860528640 31446 4294967295 134512640 134569956 3221224416 3221214736 1131268180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 31446 13073 16 0 210074 0
vsize: 840360
[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 71606 69 0 0 25 0 11 0 477684359 860528640 31496 4294967295 134512640 134569956 3221224416 3221214216 1131610752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 31496 13073 16 0 210074 0
vsize: 840360
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 72563 69 0 0 25 0 11 0 477684359 860528640 31555 4294967295 134512640 134569956 3221224416 3221214640 1131214757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 31555 13073 16 0 210074 0
vsize: 840360
[startup+780.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 73511 69 0 0 25 0 11 0 477684359 860528640 31599 4294967295 134512640 134569956 3221224416 3221214736 1131271401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 31599 13073 16 0 210074 0
vsize: 840360
[startup+790.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 74462 70 0 0 25 0 11 0 477684359 860528640 31643 4294967295 134512640 134569956 3221224416 3221214732 1080203723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 31643 13073 16 0 210074 0
vsize: 840360
[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 75403 70 0 0 25 0 11 0 477684359 860528640 31716 4294967295 134512640 134569956 3221224416 3221214736 1131269408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 31716 13073 16 0 210074 0
vsize: 840360
[startup+810.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 76347 70 0 0 25 0 11 0 477684359 860528640 31793 4294967295 134512640 134569956 3221224416 3221214416 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 31793 13073 16 0 210074 0
vsize: 840360
[startup+820.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 77300 70 0 0 25 0 11 0 477684359 860528640 32018 4294967295 134512640 134569956 3221224416 3221214304 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 32018 13073 16 0 210074 0
vsize: 840360
[startup+830.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 78280 71 0 0 25 0 11 0 477684359 860528640 32140 4294967295 134512640 134569956 3221224416 3221214736 1131268017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 32140 13073 16 0 210074 0
vsize: 840360
[startup+840.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 79258 71 0 0 25 0 11 0 477684359 860528640 32277 4294967295 134512640 134569956 3221224416 3221214776 1131268180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 32277 13073 16 0 210074 0
vsize: 840360
[startup+850.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 80233 71 0 0 25 0 11 0 477684359 860528640 32369 4294967295 134512640 134569956 3221224416 3221214680 1131215221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 32369 13073 16 0 210074 0
vsize: 840360
[startup+860.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 81209 72 0 0 25 0 11 0 477684359 860528640 32442 4294967295 134512640 134569956 3221224416 3221214776 1131268045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 32442 13073 16 0 210074 0
vsize: 840360
[startup+870.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 82183 72 0 0 25 0 11 0 477684359 860528640 32490 4294967295 134512640 134569956 3221224416 3221214680 1131215389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 32490 13073 16 0 210074 0
vsize: 840360
[startup+880.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 83162 72 0 0 24 0 11 0 477684359 860528640 32559 4294967295 134512640 134569956 3221224416 3221214776 1131268241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 32559 13073 16 0 210074 0
vsize: 840360
[startup+890.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 84142 73 0 0 25 0 11 0 477684359 860528640 32578 4294967295 134512640 134569956 3221224416 3221214472 1131614698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 32578 13073 16 0 210074 0
vsize: 840360
[startup+900.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 85120 74 0 0 25 0 11 0 477684359 860528640 32588 4294967295 134512640 134569956 3221224416 3221214776 1131268180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 32588 13073 16 0 210074 0
vsize: 840360
[startup+910.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 86085 74 0 0 25 0 11 0 477684359 860528640 32596 4294967295 134512640 134569956 3221224416 3221214776 1131271409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 32596 13073 16 0 210074 0
vsize: 840360
[startup+920.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 87045 75 0 0 25 0 11 0 477684359 860528640 32614 4294967295 134512640 134569956 3221224416 3221214680 1131214977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 32614 13073 16 0 210074 0
vsize: 840360
[startup+930.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 88011 75 0 0 25 0 11 0 477684359 860528640 32663 4294967295 134512640 134569956 3221224416 3221214680 1131214341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 32663 13073 16 0 210074 0
vsize: 840360
[startup+940.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 88975 75 0 0 25 0 11 0 477684359 860528640 32737 4294967295 134512640 134569956 3221224416 3221214680 1131214730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 32737 13073 16 0 210074 0
vsize: 840360
[startup+950.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 89946 75 0 0 25 0 11 0 477684359 860528640 32916 4294967295 134512640 134569956 3221224416 3221214776 1131269310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 32916 13073 16 0 210074 0
vsize: 840360
[startup+960.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 90924 75 0 0 25 0 11 0 477684359 860528640 32967 4294967295 134512640 134569956 3221224416 3221214488 1131610791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 32967 13073 16 0 210074 0
vsize: 840360
[startup+970.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 91896 76 0 0 25 0 11 0 477684359 860528640 33012 4294967295 134512640 134569956 3221224416 3221214776 1131268241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 33012 13073 16 0 210074 0
vsize: 840360
[startup+980.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 92871 76 0 0 25 0 11 0 477684359 860528640 33017 4294967295 134512640 134569956 3221224416 3221214776 1131269295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 33017 13073 16 0 210074 0
vsize: 840360
[startup+990.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 93839 77 0 0 25 0 11 0 477684359 860528640 33080 4294967295 134512640 134569956 3221224416 3221214820 1080203741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 33080 13073 16 0 210074 0
vsize: 840360
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 94809 77 0 0 25 0 11 0 477684359 860528640 33127 4294967295 134512640 134569956 3221224416 3221214704 1131266080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 33127 13073 16 0 210074 0
vsize: 840360
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 95778 77 0 0 25 0 11 0 477684359 860528640 33178 4294967295 134512640 134569956 3221224416 3221214640 1131370424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 33178 13073 16 0 210074 0
vsize: 840360
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 96748 78 0 0 25 0 11 0 477684359 860528640 33240 4294967295 134512640 134569956 3221224416 3221214776 1131269112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 33240 13073 16 0 210074 0
vsize: 840360
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 97723 78 0 0 25 0 11 0 477684359 860528640 33282 4294967295 134512640 134569956 3221224416 3221214864 1131259639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 33282 13073 16 0 210074 0
vsize: 840360
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 98694 78 0 0 25 0 11 0 477684359 860528640 33325 4294967295 134512640 134569956 3221224416 3221214776 1131268180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 33325 13073 16 0 210074 0
vsize: 840360
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 99668 79 0 0 25 0 11 0 477684359 860528640 33382 4294967295 134512640 134569956 3221224416 3221214048 1131612300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 33382 13073 16 0 210074 0
vsize: 840360
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 100638 79 0 0 25 0 11 0 477684359 860528640 33419 4294967295 134512640 134569956 3221224416 3221214608 1131233978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 33419 13073 16 0 210074 0
vsize: 840360
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 101610 79 0 0 25 0 11 0 477684359 860528640 33466 4294967295 134512640 134569956 3221224416 3221214680 1131214633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 33466 13073 16 0 210074 0
vsize: 840360
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 102582 80 0 0 25 0 11 0 477684359 860528640 33512 4294967295 134512640 134569956 3221224416 3221214680 1131214702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 33512 13073 16 0 210074 0
vsize: 840360
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 103548 80 0 0 25 0 11 0 477684359 860528640 33556 4294967295 134512640 134569956 3221224416 3221214776 1131270292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 33556 13073 16 0 210074 0
vsize: 840360
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 104519 81 0 0 25 0 11 0 477684359 860528640 33618 4294967295 134512640 134569956 3221224416 3221214828 1080203664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 33618 13073 16 0 210074 0
vsize: 840360
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 105487 81 0 0 25 0 11 0 477684359 860528640 33677 4294967295 134512640 134569956 3221224416 3221214704 1131595411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 33677 13073 16 0 210074 0
vsize: 840360
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 106458 82 0 0 25 0 11 0 477684359 860528640 33731 4294967295 134512640 134569956 3221224416 3221214608 1131233861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 33731 13073 16 0 210074 0
vsize: 840360
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 107428 82 0 0 25 0 11 0 477684359 860528640 33807 4294967295 134512640 134569956 3221224416 3221214704 1131595520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 33807 13073 16 0 210074 0
vsize: 840360
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 108398 82 0 0 25 0 11 0 477684359 860528640 33852 4294967295 134512640 134569956 3221224416 3221214776 1131268270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 33852 13073 16 0 210074 0
vsize: 840360
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 109367 83 0 0 25 0 11 0 477684359 860528640 33895 4294967295 134512640 134569956 3221224416 3221214704 1131595431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 33895 13073 16 0 210074 0
vsize: 840360
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 110338 83 0 0 25 0 11 0 477684359 860528640 33943 4294967295 134512640 134569956 3221224416 3221214720 1131233763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 33943 13073 16 0 210074 0
vsize: 840360
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 111302 83 0 0 25 0 11 0 477684359 860528640 33991 4294967295 134512640 134569956 3221224416 3221214776 1131268180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 33991 13073 16 0 210074 0
vsize: 840360
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 112266 84 0 0 25 0 11 0 477684359 860528640 34046 4294967295 134512640 134569956 3221224416 3221214680 1131214872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 34046 13073 16 0 210074 0
vsize: 840360
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 113227 84 0 0 25 0 11 0 477684359 860528640 34109 4294967295 134512640 134569956 3221224416 3221214776 1131270269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 34109 13073 16 0 210074 0
vsize: 840360
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 114192 84 0 0 25 0 11 0 477684359 860528640 34176 4294967295 134512640 134569956 3221224416 3221214600 1131525332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 34176 13073 16 0 210074 0
vsize: 840360
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 115143 84 0 0 25 0 11 0 477684359 860528640 34242 4294967295 134512640 134569956 3221224416 3221214544 1131610665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 34242 13073 16 0 210074 0
vsize: 840360
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 116091 85 0 0 25 0 11 0 477684359 860528640 34312 4294967295 134512640 134569956 3221224416 3221214776 1131270269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 34312 13073 16 0 210074 0
vsize: 840360
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 117031 85 0 0 25 0 11 0 477684359 860528640 34404 4294967295 134512640 134569956 3221224416 3221214312 1131610815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 34404 13073 16 0 210074 0
vsize: 840360
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 117986 85 0 0 25 0 11 0 477684359 860528640 34452 4294967295 134512640 134569956 3221224416 3221214776 1131268322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 34452 13073 16 0 210074 0
vsize: 840360
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 118932 86 0 0 25 0 11 0 477684359 860528640 34769 4294967295 134512640 134569956 3221224416 3221214832 1131325523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 34769 13073 16 0 210074 0
vsize: 840360
[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 119887 86 0 0 25 0 11 0 477684359 860528640 34850 4294967295 134512640 134569956 3221224416 3221214784 1131439700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 34850 13073 16 0 210074 0
vsize: 840360
[startup+1270.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3946
Raw data (stat): 3933 (java) R 3932 3260 3259 0 -1 0 18077 3 1 0 120850 86 0 0 25 0 11 0 477684359 860528640 34929 4294967295 134512640 134569956 3221224416 3221214776 1131270269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 34929 13073 16 0 210074 0
vsize: 840360
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.17 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 3948
Raw data (stat): 3933 (java) Z 3932 3260 3259 0 -1 1036 18077 21837 1 0 120853 92 7054 62 25 0 1 0 477684359 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): 1270.17
CPU time (s): 1280.63
CPU user time (s): 1279.08
CPU system time (s): 1.55476
CPU usage (%): 100.824
Max. virtual memory (Kb): 840360
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####