PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
MD5SUM	a89f4ed95903fddf213992506514bcf0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	16
Optimality of the best value was proved	NO
Number of terms in the objective function	906
Biggest coefficient in the objective function	553
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	2526
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	553
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	2526
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04184
Number of variables	906
Total number of constraints	1944
Number of constraints which are clauses	852
Number of constraints which are cardinality constraints (but not clauses)	1092
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	18
Trace number 4535

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-04-13 18:20:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3339 boxname=wulflinc28 idbench=371 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  a89f4ed95903fddf213992506514bcf0  /oldhome/oroussel/tmp/wulflinc28/normalized-10:20:4.5:0.95:98.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc28/normalized-10:20:4.5:0.95:98.opb
IDLAUNCH: 3339
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        914048 kB
Buffers:         33724 kB
Cached:          51136 kB
SwapCached:          4 kB
Active:          45252 kB
Inactive:        42424 kB
HighTotal:      131008 kB
HighFree:        76328 kB
LowTotal:       903652 kB
LowFree:        837720 kB
SwapTotal:     2097640 kB
SwapFree:      2097636 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            27368 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 18:41:08 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3339 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-10:20:4.5:0.95:98.opb
c reading problem 
c [nbvar=906]
c [nbconstr=1944]
c time 2.45
c #vars     906
c #clauses  1039
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=25
c Current CPU time (ms) : 2.807
c starts	: 1
c conflicts	: 0
c decisions	: 364
c propagations	: 906
c inspects	: 1686
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=20
c Current CPU time (ms) : 29.146
c starts	: 2
c conflicts	: 17
c decisions	: 1227
c propagations	: 2810
c inspects	: 11862
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 17
c root simplifications	: 3
c 
c CURRENT OPTIMUM=17
c Current CPU time (ms) : 91.422
c starts	: 3
c conflicts	: 36
c decisions	: 2192
c propagations	: 4741
c inspects	: 36791
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 36
c root simplifications	: 5
c 
c CURRENT OPTIMUM=15
c Current CPU time (ms) : 804.99
c starts	: 4
c conflicts	: 56
c decisions	: 8334
c propagations	: 17040
c inspects	: 327805
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 56
c root simplifications	: 19
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 11663
Raw data (stat): 11663 (runsolver) R 11662 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 478070294 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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+9.99981 s]
Raw data (loadavg): 0.93 0.98 0.99 2/64 11674
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18073 3 1 0 684 43 0 0 25 0 11 0 478070294 861229056 20808 4294967295 134512640 134569956 3221224400 3221214896 1130916390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 20808 13073 16 0 210245 0
vsize: 841044
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.98 0.99 2/64 11674
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 1620 43 0 0 25 0 11 0 478070294 860364800 20914 4294967295 134512640 134569956 3221224400 3221214680 1131210733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210050 20914 13073 16 0 210034 0
vsize: 840200
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.98 0.99 2/64 11675
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 2562 44 0 0 25 0 11 0 478070294 860364800 20933 4294967295 134512640 134569956 3221224400 3221214680 1131210373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210050 20933 13073 16 0 210034 0
vsize: 840200
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.98 0.99 2/64 11675
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 3502 45 0 0 25 0 11 0 478070294 860020736 21369 4294967295 134512640 134569956 3221224400 3221214776 1131252603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 21369 13073 16 0 209950 0
vsize: 839864
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.98 0.99 2/64 11675
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 4492 45 0 0 25 0 11 0 478070294 860020736 21375 4294967295 134512640 134569956 3221224400 3221214680 1131210865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 21375 13073 16 0 209950 0
vsize: 839864
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.98 0.99 2/64 11675
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 5449 45 0 0 25 0 11 0 478070294 860020736 21394 4294967295 134512640 134569956 3221224400 3221214680 1131210625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 21394 13073 16 0 209950 0
vsize: 839864
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.98 0.99 2/64 11675
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 6400 46 0 0 25 0 11 0 478070294 860020736 21397 4294967295 134512640 134569956 3221224400 3221214776 1131253718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 21397 13073 16 0 209950 0
vsize: 839864
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 11675
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 7350 46 0 0 25 0 11 0 478070294 860020736 21589 4294967295 134512640 134569956 3221224400 3221214776 1131253745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 21589 13073 16 0 209950 0
vsize: 839864
[startup+90.0047 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 11675
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 8339 46 0 0 25 0 11 0 478070294 860020736 21775 4294967295 134512640 134569956 3221224400 3221213924 1077094255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 21775 13073 16 0 209950 0
vsize: 839864
[startup+100.005 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 9328 46 0 0 25 0 11 0 478070294 860020736 21782 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 21782 13073 16 0 209950 0
vsize: 839864
[startup+110.006 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 10316 47 0 0 25 0 11 0 478070294 860020736 21788 4294967295 134512640 134569956 3221224400 3221214680 1131210380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 21788 13073 16 0 209950 0
vsize: 839864
[startup+120.007 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 11306 47 0 0 25 0 11 0 478070294 860020736 21830 4294967295 134512640 134569956 3221224400 3221214680 1131210797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 21830 13073 16 0 209950 0
vsize: 839864
[startup+130.007 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 12301 48 0 0 25 0 11 0 478070294 860020736 21836 4294967295 134512640 134569956 3221224400 3221214680 1131211656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 21836 13073 16 0 209950 0
vsize: 839864
[startup+140.009 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 13288 48 0 0 25 0 11 0 478070294 860020736 21836 4294967295 134512640 134569956 3221224400 3221214680 1131210797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 21836 13073 16 0 209950 0
vsize: 839864
[startup+150.009 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 14273 48 0 0 25 0 11 0 478070294 860020736 21836 4294967295 134512640 134569956 3221224400 3221214772 1131210348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 21836 13073 16 0 209950 0
vsize: 839864
[startup+160.008 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 15257 49 0 0 25 0 11 0 478070294 860020736 21969 4294967295 134512640 134569956 3221224400 3221214776 1131252634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 21969 13073 16 0 209950 0
vsize: 839864
[startup+170.009 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 16251 49 0 0 25 0 11 0 478070294 860020736 21972 4294967295 134512640 134569956 3221224400 3221214680 1131211007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 21972 13073 16 0 209950 0
vsize: 839864
[startup+180.009 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 17240 49 0 0 25 0 11 0 478070294 860020736 21975 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 21975 13073 16 0 209950 0
vsize: 839864
[startup+190.01 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 18224 50 0 0 25 0 11 0 478070294 860020736 21978 4294967295 134512640 134569956 3221224400 3221214776 1131252451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 21978 13073 16 0 209950 0
vsize: 839864
[startup+200.01 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 19208 50 0 0 25 0 11 0 478070294 860020736 21984 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 21984 13073 16 0 209950 0
vsize: 839864
[startup+210.01 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 20199 50 0 0 25 0 11 0 478070294 860020736 22057 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22057 13073 16 0 209950 0
vsize: 839864
[startup+220.011 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 21193 50 0 0 25 0 11 0 478070294 860020736 22061 4294967295 134512640 134569956 3221224400 3221214680 1131210369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22061 13073 16 0 209950 0
vsize: 839864
[startup+230.011 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 22181 51 0 0 24 0 11 0 478070294 860020736 22063 4294967295 134512640 134569956 3221224400 3221214680 1131211628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22063 13073 16 0 209950 0
vsize: 839864
[startup+240.012 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 23169 51 0 0 25 0 11 0 478070294 860020736 22065 4294967295 134512640 134569956 3221224400 3221214776 1131252453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22065 13073 16 0 209950 0
vsize: 839864
[startup+250.012 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 24159 51 0 0 25 0 11 0 478070294 860020736 22153 4294967295 134512640 134569956 3221224400 3221214680 1131210733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22153 13073 16 0 209950 0
vsize: 839864
[startup+260.013 s]
Raw data (loadavg): 1.10 1.02 1.01 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 25154 52 0 0 25 0 11 0 478070294 860020736 22155 4294967295 134512640 134569956 3221224400 3221214776 1131253788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22155 13073 16 0 209950 0
vsize: 839864
[startup+270.014 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 26150 52 0 0 25 0 11 0 478070294 860020736 22157 4294967295 134512640 134569956 3221224400 3221214680 1131210476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22157 13073 16 0 209950 0
vsize: 839864
[startup+280.014 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 27139 52 0 0 25 0 11 0 478070294 860020736 22158 4294967295 134512640 134569956 3221224400 3221214680 1131210651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22158 13073 16 0 209950 0
vsize: 839864
[startup+290.015 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 28130 53 0 0 25 0 11 0 478070294 860020736 22159 4294967295 134512640 134569956 3221224400 3221214776 1131255845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22159 13073 16 0 209950 0
vsize: 839864
[startup+300.015 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 29123 53 0 0 25 0 11 0 478070294 860020736 22196 4294967295 134512640 134569956 3221224400 3221214680 1131211053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22196 13073 16 0 209950 0
vsize: 839864
[startup+310.014 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 30117 54 0 0 25 0 11 0 478070294 860020736 22199 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22199 13073 16 0 209950 0
vsize: 839864
[startup+320.015 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 31102 54 0 0 25 0 11 0 478070294 860020736 22202 4294967295 134512640 134569956 3221224400 3221214680 1131210870 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22202 13073 16 0 209950 0
vsize: 839864
[startup+330.016 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 32077 55 0 0 25 0 11 0 478070294 860020736 22203 4294967295 134512640 134569956 3221224400 3221214680 1131210380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22203 13073 16 0 209950 0
vsize: 839864
[startup+340.016 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 33052 55 0 0 25 0 11 0 478070294 860020736 22300 4294967295 134512640 134569956 3221224400 3221214680 1131210733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22300 13073 16 0 209950 0
vsize: 839864
[startup+350.016 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 34038 55 0 0 25 0 11 0 478070294 860020736 22459 4294967295 134512640 134569956 3221224400 3221214776 1131256940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22459 13073 16 0 209950 0
vsize: 839864
[startup+360.017 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 35031 55 0 0 25 0 11 0 478070294 860020736 22469 4294967295 134512640 134569956 3221224400 3221214680 1131210493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22469 13073 16 0 209950 0
vsize: 839864
[startup+370.017 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 36023 56 0 0 25 0 11 0 478070294 860020736 22478 4294967295 134512640 134569956 3221224400 3221214776 1131252634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22478 13073 16 0 209950 0
vsize: 839864
[startup+380.017 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 37011 56 0 0 25 0 11 0 478070294 860020736 22485 4294967295 134512640 134569956 3221224400 3221214680 1131210797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22485 13073 16 0 209950 0
vsize: 839864
[startup+390.018 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 37999 57 0 0 25 0 11 0 478070294 860020736 22500 4294967295 134512640 134569956 3221224400 3221214776 1131252699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22500 13073 16 0 209950 0
vsize: 839864
[startup+400.018 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 38991 57 0 0 25 0 11 0 478070294 860020736 22543 4294967295 134512640 134569956 3221224400 3221214776 1131254646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22543 13073 16 0 209950 0
vsize: 839864
[startup+410.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 39986 57 0 0 25 0 11 0 478070294 860020736 22546 4294967295 134512640 134569956 3221224400 3221214776 1131252634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22546 13073 16 0 209950 0
vsize: 839864
[startup+420.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 40978 58 0 0 25 0 11 0 478070294 860020736 22548 4294967295 134512640 134569956 3221224400 3221214680 1131210493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22548 13073 16 0 209950 0
vsize: 839864
[startup+430.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 41964 58 0 0 25 0 11 0 478070294 860020736 22551 4294967295 134512640 134569956 3221224400 3221214776 1131253652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22551 13073 16 0 209950 0
vsize: 839864
[startup+440.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 42950 59 0 0 25 0 11 0 478070294 860020736 22637 4294967295 134512640 134569956 3221224400 3221214680 1131210451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22637 13073 16 0 209950 0
vsize: 839864
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 43942 59 0 0 25 0 11 0 478070294 860020736 22687 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22687 13073 16 0 209950 0
vsize: 839864
[startup+460.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 44938 59 0 0 25 0 11 0 478070294 860020736 22688 4294967295 134512640 134569956 3221224400 3221214680 1131211632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22688 13073 16 0 209950 0
vsize: 839864
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 45934 60 0 0 25 0 11 0 478070294 860020736 22692 4294967295 134512640 134569956 3221224400 3221214776 1131253770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22692 13073 16 0 209950 0
vsize: 839864
[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 46924 60 0 0 25 0 11 0 478070294 860020736 22693 4294967295 134512640 134569956 3221224400 3221214680 1131210567 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22693 13073 16 0 209950 0
vsize: 839864
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 47912 60 0 0 25 0 11 0 478070294 860020736 22694 4294967295 134512640 134569956 3221224400 3221214680 1131210401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22694 13073 16 0 209950 0
vsize: 839864
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 48901 61 0 0 25 0 11 0 478070294 860020736 22728 4294967295 134512640 134569956 3221224400 3221213784 1079753249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22728 13073 16 0 209950 0
vsize: 839864
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 49897 61 0 0 25 0 11 0 478070294 860020736 22732 4294967295 134512640 134569956 3221224400 3221214680 1131210401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22732 13073 16 0 209950 0
vsize: 839864
[startup+520.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 50892 61 0 0 25 0 11 0 478070294 860020736 22737 4294967295 134512640 134569956 3221224400 3221214776 1131256970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22737 13073 16 0 209950 0
vsize: 839864
[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 51883 62 0 0 25 0 11 0 478070294 860020736 22740 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22740 13073 16 0 209950 0
vsize: 839864
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 52872 62 0 0 25 0 11 0 478070294 860020736 22742 4294967295 134512640 134569956 3221224400 3221214776 1131257991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22742 13073 16 0 209950 0
vsize: 839864
[startup+550.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 53862 63 0 0 25 0 11 0 478070294 860020736 22769 4294967295 134512640 134569956 3221224400 3221214680 1131210373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22769 13073 16 0 209950 0
vsize: 839864
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 54856 63 0 0 25 0 11 0 478070294 860020736 22784 4294967295 134512640 134569956 3221224400 3221214680 1131210365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22784 13073 16 0 209950 0
vsize: 839864
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 55853 64 0 0 25 0 11 0 478070294 860020736 22787 4294967295 134512640 134569956 3221224400 3221214776 1131257033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22787 13073 16 0 209950 0
vsize: 839864
[startup+580.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 56847 64 0 0 25 0 11 0 478070294 860020736 22789 4294967295 134512640 134569956 3221224400 3221214776 1131257033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22789 13073 16 0 209950 0
vsize: 839864
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 57836 64 0 0 25 0 11 0 478070294 860020736 22790 4294967295 134512640 134569956 3221224400 3221214680 1131211649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22790 13073 16 0 209950 0
vsize: 839864
[startup+600.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 58825 64 0 0 25 0 11 0 478070294 860020736 22796 4294967295 134512640 134569956 3221224400 3221214680 1131210573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22796 13073 16 0 209950 0
vsize: 839864
[startup+610.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 59815 65 0 0 25 0 11 0 478070294 860020736 22843 4294967295 134512640 134569956 3221224400 3221214680 1131211663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22843 13073 16 0 209950 0
vsize: 839864
[startup+620.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 60811 65 0 0 25 0 11 0 478070294 860020736 22845 4294967295 134512640 134569956 3221224400 3221214776 1131252627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22845 13073 16 0 209950 0
vsize: 839864
[startup+630.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 61807 66 0 0 25 0 11 0 478070294 860020736 22848 4294967295 134512640 134569956 3221224400 3221214776 1131252451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22848 13073 16 0 209950 0
vsize: 839864
[startup+640.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 62799 66 0 0 25 0 11 0 478070294 860020736 22849 4294967295 134512640 134569956 3221224400 3221214680 1131210870 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22849 13073 16 0 209950 0
vsize: 839864
[startup+650.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 63790 66 0 0 18 0 11 0 478070294 860020736 22850 4294967295 134512640 134569956 3221224400 3221214776 1131252627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22850 13073 16 0 209950 0
vsize: 839864
[startup+660.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 64781 66 0 0 25 0 11 0 478070294 860020736 22857 4294967295 134512640 134569956 3221224400 3221214680 1131210401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22857 13073 16 0 209950 0
vsize: 839864
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 65777 67 0 0 25 0 11 0 478070294 860020736 22873 4294967295 134512640 134569956 3221224400 3221214776 1131256970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22873 13073 16 0 209950 0
vsize: 839864
[startup+680.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 66773 67 0 0 25 0 11 0 478070294 860020736 22875 4294967295 134512640 134569956 3221224400 3221214680 1131211530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22875 13073 16 0 209950 0
vsize: 839864
[startup+690.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 67768 67 0 0 25 0 11 0 478070294 860020736 22877 4294967295 134512640 134569956 3221224400 3221214772 1131210348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22877 13073 16 0 209950 0
vsize: 839864
[startup+700.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 68758 68 0 0 25 0 11 0 478070294 860020736 22878 4294967295 134512640 134569956 3221224400 3221214776 1131257889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22878 13073 16 0 209950 0
vsize: 839864
[startup+710.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 69747 68 0 0 25 0 11 0 478070294 860020736 22878 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22878 13073 16 0 209950 0
vsize: 839864
[startup+720.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 70738 68 0 0 25 0 11 0 478070294 860020736 22912 4294967295 134512640 134569956 3221224400 3221214776 1131252634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22912 13073 16 0 209950 0
vsize: 839864
[startup+730.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 71734 68 0 0 25 0 11 0 478070294 860020736 22925 4294967295 134512640 134569956 3221224400 3221214680 1131210733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209966 22925 13073 16 0 209950 0
vsize: 839864
[startup+740.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 72730 69 0 0 25 0 11 0 478070294 860020736 22927 4294967295 134512640 134569956 3221224400 3221214680 1131210401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 22927 13073 16 0 209950 0
vsize: 839864
[startup+750.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 73717 69 0 0 25 0 11 0 478070294 860020736 22929 4294967295 134512640 134569956 3221224400 3221214772 1131211843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 22929 13073 16 0 209950 0
vsize: 839864
[startup+760.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 74701 69 0 0 25 0 11 0 478070294 860020736 22929 4294967295 134512640 134569956 3221224400 3221214680 1131210417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 22929 13073 16 0 209950 0
vsize: 839864
[startup+770.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 75685 69 0 0 25 0 11 0 478070294 860020736 23105 4294967295 134512640 134569956 3221224400 3221214776 1131252592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23105 13073 16 0 209950 0
vsize: 839864
[startup+780.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 76679 69 0 0 25 0 11 0 478070294 860020736 23181 4294967295 134512640 134569956 3221224400 3221214776 1131253612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23181 13073 16 0 209950 0
vsize: 839864
[startup+790.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 77676 69 0 0 25 0 11 0 478070294 860020736 23183 4294967295 134512640 134569956 3221224400 3221214680 1131210669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23183 13073 16 0 209950 0
vsize: 839864
[startup+800.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11676
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 78672 69 0 0 25 0 11 0 478070294 860020736 23185 4294967295 134512640 134569956 3221224400 3221214680 1131211557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23185 13073 16 0 209950 0
vsize: 839864
[startup+810.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 79665 69 0 0 25 0 11 0 478070294 860020736 23186 4294967295 134512640 134569956 3221224400 3221214776 1131253759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23186 13073 16 0 209950 0
vsize: 839864
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 80656 69 0 0 25 0 11 0 478070294 860020736 23186 4294967295 134512640 134569956 3221224400 3221214680 1131210733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23186 13073 16 0 209950 0
vsize: 839864
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 81646 69 0 0 25 0 11 0 478070294 860020736 23199 4294967295 134512640 134569956 3221224400 3221214776 1131253840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23199 13073 16 0 209950 0
vsize: 839864
[startup+840.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 82640 69 0 0 25 0 11 0 478070294 860020736 23232 4294967295 134512640 134569956 3221224400 3221214680 1131210563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23232 13073 16 0 209950 0
vsize: 839864
[startup+850.03 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 83637 69 0 0 25 0 11 0 478070294 860020736 23234 4294967295 134512640 134569956 3221224400 3221214776 1131252666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23234 13073 16 0 209950 0
vsize: 839864
[startup+860.03 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 84629 69 0 0 25 0 11 0 478070294 860020736 23236 4294967295 134512640 134569956 3221224400 3221214680 1131210719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23236 13073 16 0 209950 0
vsize: 839864
[startup+870.03 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 85615 69 0 0 25 0 11 0 478070294 860020736 23237 4294967295 134512640 134569956 3221224400 3221214680 1131211271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23237 13073 16 0 209950 0
vsize: 839864
[startup+880.03 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 86591 69 0 0 24 0 11 0 478070294 860020736 23237 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23237 13073 16 0 209950 0
vsize: 839864
[startup+890.03 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 87573 69 0 0 25 0 11 0 478070294 860020736 23467 4294967295 134512640 134569956 3221224400 3221214776 1131252634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23467 13073 16 0 209950 0
vsize: 839864
[startup+900.03 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 88564 69 0 0 25 0 11 0 478070294 860020736 23548 4294967295 134512640 134569956 3221224400 3221214680 1131211632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23548 13073 16 0 209950 0
vsize: 839864
[startup+910.03 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 89561 69 0 0 25 0 11 0 478070294 860020736 23551 4294967295 134512640 134569956 3221224400 3221214772 1131210348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23551 13073 16 0 209950 0
vsize: 839864
[startup+920.031 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 90557 69 0 0 25 0 11 0 478070294 860020736 23553 4294967295 134512640 134569956 3221224400 3221214776 1131252634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23553 13073 16 0 209950 0
vsize: 839864
[startup+930.031 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 91553 69 0 0 25 0 11 0 478070294 860020736 23556 4294967295 134512640 134569956 3221224400 3221214824 1131423388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23556 13073 16 0 209950 0
vsize: 839864
[startup+940.031 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 92545 69 0 0 25 0 11 0 478070294 860020736 23556 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23556 13073 16 0 209950 0
vsize: 839864
[startup+950.031 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 93535 70 0 0 25 0 11 0 478070294 860020736 23569 4294967295 134512640 134569956 3221224400 3221214680 1131211290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23569 13073 16 0 209950 0
vsize: 839864
[startup+960.031 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 94528 70 0 0 25 0 11 0 478070294 860020736 23591 4294967295 134512640 134569956 3221224400 3221214680 1131210401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23591 13073 16 0 209950 0
vsize: 839864
[startup+970.032 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 95525 70 0 0 25 0 11 0 478070294 860020736 23596 4294967295 134512640 134569956 3221224400 3221214680 1131210432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23596 13073 16 0 209950 0
vsize: 839864
[startup+980.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 96522 70 0 0 25 0 11 0 478070294 860020736 23597 4294967295 134512640 134569956 3221224400 3221214680 1131210884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23597 13073 16 0 209950 0
vsize: 839864
[startup+990.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 97517 70 0 0 18 0 11 0 478070294 860020736 23599 4294967295 134512640 134569956 3221224400 3221214680 1131210380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23599 13073 16 0 209950 0
vsize: 839864
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 98508 70 0 0 25 0 11 0 478070294 860020736 23600 4294967295 134512640 134569956 3221224400 3221214680 1131211573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23600 13073 16 0 209950 0
vsize: 839864
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 99497 70 0 0 25 0 11 0 478070294 860020736 23612 4294967295 134512640 134569956 3221224400 3221214776 1131257033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23612 13073 16 0 209950 0
vsize: 839864
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 100488 70 0 0 25 0 11 0 478070294 860020736 23637 4294967295 134512640 134569956 3221224400 3221214680 1131210373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23637 13073 16 0 209950 0
vsize: 839864
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 101483 70 0 0 25 0 11 0 478070294 860020736 23676 4294967295 134512640 134569956 3221224400 3221214776 1131256913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23676 13073 16 0 209950 0
vsize: 839864
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 102480 70 0 0 25 0 11 0 478070294 860020736 23678 4294967295 134512640 134569956 3221224400 3221214680 1131211538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23678 13073 16 0 209950 0
vsize: 839864
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 103476 70 0 0 25 0 11 0 478070294 860020736 23679 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23679 13073 16 0 209950 0
vsize: 839864
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 104470 70 0 0 25 0 11 0 478070294 860020736 23681 4294967295 134512640 134569956 3221224400 3221214680 1131211598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23681 13073 16 0 209950 0
vsize: 839864
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 105459 70 0 0 25 0 11 0 478070294 860020736 23682 4294967295 134512640 134569956 3221224400 3221214776 1131253840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23682 13073 16 0 209950 0
vsize: 839864
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 106449 71 0 0 25 0 11 0 478070294 860020736 23730 4294967295 134512640 134569956 3221224400 3221214680 1131211011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23730 13073 16 0 209950 0
vsize: 839864
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 107440 71 0 0 25 0 11 0 478070294 860020736 23757 4294967295 134512640 134569956 3221224400 3221214680 1131211834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23757 13073 16 0 209950 0
vsize: 839864
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 108437 71 0 0 25 0 11 0 478070294 860020736 23765 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23765 13073 16 0 209950 0
vsize: 839864
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 109433 71 0 0 25 0 11 0 478070294 860020736 23767 4294967295 134512640 134569956 3221224400 3221214776 1131252627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23767 13073 16 0 209950 0
vsize: 839864
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 110430 71 0 0 25 0 11 0 478070294 860020736 23769 4294967295 134512640 134569956 3221224400 3221214680 1131211573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23769 13073 16 0 209950 0
vsize: 839864
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 111423 71 0 0 25 0 11 0 478070294 860020736 23770 4294967295 134512640 134569956 3221224400 3221214776 1131253745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23770 13073 16 0 209950 0
vsize: 839864
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 112413 71 0 0 25 0 11 0 478070294 860020736 23770 4294967295 134512640 134569956 3221224400 3221214776 1131253763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23770 13073 16 0 209950 0
vsize: 839864
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 113402 71 0 0 25 0 11 0 478070294 860020736 23783 4294967295 134512640 134569956 3221224400 3221214680 1131210511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23783 13073 16 0 209950 0
vsize: 839864
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 114397 71 0 0 25 0 11 0 478070294 860020736 23825 4294967295 134512640 134569956 3221224400 3221214680 1131210444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23825 13073 16 0 209950 0
vsize: 839864
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 115394 71 0 0 25 0 11 0 478070294 860020736 23827 4294967295 134512640 134569956 3221224400 3221214776 1131252699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23827 13073 16 0 209950 0
vsize: 839864
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 116391 71 0 0 25 0 11 0 478070294 860020736 23829 4294967295 134512640 134569956 3221224400 3221214776 1131254736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23829 13073 16 0 209950 0
vsize: 839864
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 117387 72 0 0 25 0 11 0 478070294 860020736 23832 4294967295 134512640 134569956 3221224400 3221214776 1131253903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23832 13073 16 0 209950 0
vsize: 839864
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 118377 72 0 0 25 0 11 0 478070294 860020736 23833 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23833 13073 16 0 209950 0
vsize: 839864
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 119366 72 0 0 25 0 11 0 478070294 860020736 23834 4294967295 134512640 134569956 3221224400 3221214680 1131211267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23834 13073 16 0 209950 0
vsize: 839864
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11677
Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 120355 72 0 0 25 0 11 0 478070294 860020736 23869 4294967295 134512640 134569956 3221224400 3221214680 1131210845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209966 23869 13073 16 0 209950 0
vsize: 839864
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 11679
Raw data (stat): 11663 (java) Z 11662 10614 10613 0 -1 1036 18075 4085 1 0 120356 72 1295 20 25 0 1 0 478070294 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.1
CPU time (s): 1217.46
CPU user time (s): 1216.53
CPU system time (s): 0.935857
CPU usage (%): 99.7838
Max. virtual memory (Kb): 841044
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####