PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/logic-synthesis/normalized-sao2.b.opb
MD5SUM	3e273bcee52631aeea0b7b1138e7d68d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	25
Optimality of the best value was proved	NO
Number of terms in the objective function	373
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	373
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	373
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03784
Number of variables	372
Total number of constraints	779
Number of constraints which are clauses	772
Number of constraints which are cardinality constraints (but not clauses)	7
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	98
Trace number 4290

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-13 16:14:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=657 boxname=wulflinc27 idbench=73 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  3e273bcee52631aeea0b7b1138e7d68d  /oldhome/oroussel/tmp/wulflinc27/normalized-sao2.b.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc27/normalized-sao2.b.opb
IDLAUNCH: 657
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        891236 kB
Buffers:         30540 kB
Cached:          75916 kB
SwapCached:       3160 kB
Active:          40856 kB
Inactive:        71624 kB
HighTotal:      131008 kB
HighFree:        51576 kB
LowTotal:       903652 kB
LowFree:        839660 kB
SwapTotal:     2097892 kB
SwapFree:      2094732 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            25300 kB
Committed_AS:    63524 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:35:24 (client local time) WITH STATUS 143 IN  SECONDS
stats: 657 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-sao2.b.opb
c reading problem 
c [nbvar=373]
c [nbconstr=779]
c time 3.145
c #vars     373
c #clauses  772
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=34
c Current CPU time (ms) : 5.126
c starts	: 1
c conflicts	: 2
c decisions	: 341
c propagations	: 412
c inspects	: 3010
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2
c root simplifications	: 1
c 
c CURRENT OPTIMUM=33
c Current CPU time (ms) : 54.112
c starts	: 3
c conflicts	: 228
c decisions	: 3088
c propagations	: 8275
c inspects	: 36517
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 228
c root simplifications	: 3
c 
c CURRENT OPTIMUM=31
c Current CPU time (ms) : 71.45
c starts	: 5
c conflicts	: 328
c decisions	: 4697
c propagations	: 12272
c inspects	: 70231
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 328
c root simplifications	: 5
c 
c CURRENT OPTIMUM=30
c Current CPU time (ms) : 72.453
c starts	: 6
c conflicts	: 332
c decisions	: 5029
c propagations	: 12657
c inspects	: 70635
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 332
c root simplifications	: 6
c 
c CURRENT OPTIMUM=28
c Current CPU time (ms) : 73.621
c starts	: 7
c conflicts	: 332
c decisions	: 5366
c propagations	: 13025
c inspects	: 71810
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 332
c root simplifications	: 7
c 
c CURRENT OPTIMUM=27
c Current CPU time (ms) : 246.579
c starts	: 11
c conflicts	: 919
c decisions	: 12106
c propagations	: 30088
c inspects	: 310640
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 919
c root simplifications	: 11
c 
c CURRENT OPTIMUM=26
c Current CPU time (ms) : 255.912
c starts	: 12
c conflicts	: 953
c decisions	: 12566
c propagations	: 31149
c inspects	: 329967
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 953
c root simplifications	: 12
#### 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.97 0.74 2/54 19170
Raw data (stat): 19170 (runsolver) R 19169 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477305080 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 1.24 1.04 0.77 4/64 19181
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 8861 3 1 0 679 24 0 0 25 0 11 0 477305080 872230912 13438 4294967295 134512640 134569956 3221224416 3221214588 1130920142 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212947 13438 13073 16 0 212931 0
vsize: 851788
[startup+20.0016 s]
Raw data (loadavg): 1.28 1.05 0.77 2/64 19181
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18094 3 1 0 1434 44 0 0 25 0 11 0 477305080 870883328 23282 4294967295 134512640 134569956 3221224416 3221214592 1131541944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212618 23282 13073 16 0 212602 0
vsize: 850472
[startup+30.003 s]
Raw data (loadavg): 1.24 1.05 0.77 2/64 19181
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18094 3 1 0 2362 44 0 0 25 0 11 0 477305080 870088704 23761 4294967295 134512640 134569956 3221224416 3221214880 1131139089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212424 23761 13073 16 0 212408 0
vsize: 849696
[startup+40.0031 s]
Raw data (loadavg): 1.20 1.05 0.78 2/64 19181
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18094 3 1 0 3276 44 0 0 25 0 11 0 477305080 868048896 23851 4294967295 134512640 134569956 3221224416 3221214816 1131310547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 23851 13073 16 0 211910 0
vsize: 847704
[startup+50.0039 s]
Raw data (loadavg): 1.17 1.05 0.78 2/64 19181
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18094 3 1 0 4204 44 0 0 25 0 11 0 477305080 868048896 24052 4294967295 134512640 134569956 3221224416 3221214568 1131705152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 24052 13073 16 0 211910 0
vsize: 847704
[startup+60.0043 s]
Raw data (loadavg): 1.14 1.04 0.78 2/64 19182
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18095 3 1 0 5114 45 0 0 25 0 11 0 477305080 868048896 24351 4294967295 134512640 134569956 3221224416 3221214836 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 24351 13073 16 0 211910 0
vsize: 847704
[startup+70.0056 s]
Raw data (loadavg): 1.12 1.04 0.78 2/64 19182
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18095 3 1 0 6021 45 0 0 25 0 11 0 477305080 868048896 24719 4294967295 134512640 134569956 3221224416 3221214568 1131706273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 24719 13073 16 0 211910 0
vsize: 847704
[startup+80.0074 s]
Raw data (loadavg): 1.10 1.04 0.78 2/64 19185
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 6960 45 0 0 25 0 11 0 477305080 868048896 25048 4294967295 134512640 134569956 3221224416 3221214920 1131139072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 25048 13073 16 0 211910 0
vsize: 847704
[startup+90.0077 s]
Raw data (loadavg): 1.08 1.04 0.79 2/64 19185
Raw data (stat): 19170 (java) S 19169 18865 18864 0 -1 0 18096 3 1 0 7875 45 0 0 25 0 11 0 477305080 868048896 25310 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 25310 13073 16 0 211910 0
vsize: 847704
[startup+100.008 s]
Raw data (loadavg): 1.07 1.04 0.79 2/64 19185
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 8823 45 0 0 25 0 11 0 477305080 868048896 25457 4294967295 134512640 134569956 3221224416 3221214768 1131483243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 25457 13073 16 0 211910 0
vsize: 847704
[startup+110.009 s]
Raw data (loadavg): 1.06 1.03 0.79 2/64 19185
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 9768 45 0 0 25 0 11 0 477305080 868048896 25735 4294967295 134512640 134569956 3221224416 3221214920 1131139089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 25735 13073 16 0 211910 0
vsize: 847704
[startup+120.009 s]
Raw data (loadavg): 1.05 1.03 0.79 2/64 19185
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 10707 45 0 0 25 0 11 0 477305080 868048896 25913 4294967295 134512640 134569956 3221224416 3221214856 1131310401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 25913 13073 16 0 211910 0
vsize: 847704
[startup+130.01 s]
Raw data (loadavg): 1.04 1.03 0.79 2/64 19185
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 11625 45 0 0 25 0 11 0 477305080 868048896 26018 4294967295 134512640 134569956 3221224416 3221214856 1131310434 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 26018 13073 16 0 211910 0
vsize: 847704
[startup+140.014 s]
Raw data (loadavg): 1.04 1.03 0.80 2/64 19185
Raw data (stat): 19170 (java) S 19169 18865 18864 0 -1 0 18096 3 1 0 12541 45 0 0 25 0 11 0 477305080 868048896 26246 4294967295 134512640 134569956 3221224416 3221213600 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 26246 13073 16 0 211910 0
vsize: 847704
[startup+150.015 s]
Raw data (loadavg): 1.03 1.03 0.80 2/64 19185
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 13467 45 0 0 25 0 11 0 477305080 868048896 26571 4294967295 134512640 134569956 3221224416 3221214856 1131320435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 26571 13073 16 0 211910 0
vsize: 847704
[startup+160.015 s]
Raw data (loadavg): 1.02 1.03 0.80 2/64 19185
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 14391 45 0 0 24 0 11 0 477305080 868048896 26847 4294967295 134512640 134569956 3221224416 3221214992 1131238809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 26847 13073 16 0 211910 0
vsize: 847704
[startup+170.016 s]
Raw data (loadavg): 1.02 1.03 0.80 2/64 19185
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 15331 45 0 0 25 0 11 0 477305080 868048896 26997 4294967295 134512640 134569956 3221224416 3221214632 1131320435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 26997 13073 16 0 211910 0
vsize: 847704
[startup+180.016 s]
Raw data (loadavg): 1.02 1.02 0.80 2/64 19185
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 16281 45 0 0 25 0 11 0 477305080 868048896 27202 4294967295 134512640 134569956 3221224416 3221215000 1131454335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 27202 13073 16 0 211910 0
vsize: 847704
[startup+190.017 s]
Raw data (loadavg): 1.01 1.02 0.81 2/64 19185
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 17243 46 0 0 25 0 11 0 477305080 868048896 27355 4294967295 134512640 134569956 3221224416 3221214856 1131310434 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 27355 13073 16 0 211910 0
vsize: 847704
[startup+200.017 s]
Raw data (loadavg): 1.01 1.02 0.81 2/64 19185
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 18198 46 0 0 25 0 11 0 477305080 868048896 27444 4294967295 134512640 134569956 3221224416 3221214856 1131310747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 27444 13073 16 0 211910 0
vsize: 847704
[startup+210.017 s]
Raw data (loadavg): 1.01 1.02 0.81 2/64 19185
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 19158 46 0 0 25 0 11 0 477305080 868048896 27539 4294967295 134512640 134569956 3221224416 3221214188 1131761424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 27539 13073 16 0 211910 0
vsize: 847704
[startup+220.018 s]
Raw data (loadavg): 1.01 1.02 0.81 2/64 19185
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 20107 46 0 0 25 0 11 0 477305080 868048896 27631 4294967295 134512640 134569956 3221224416 3221214856 1131311612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 27631 13073 16 0 211910 0
vsize: 847704
[startup+230.018 s]
Raw data (loadavg): 1.01 1.02 0.81 2/64 19185
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 21051 46 0 0 24 0 11 0 477305080 868048896 27785 4294967295 134512640 134569956 3221224416 3221214768 1131484164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 27785 13073 16 0 211910 0
vsize: 847704
[startup+240.022 s]
Raw data (loadavg): 1.00 1.02 0.82 2/64 19185
Raw data (stat): 19170 (java) S 19169 18865 18864 0 -1 0 18096 3 1 0 22001 46 0 0 25 0 11 0 477305080 868048896 27878 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 27878 13073 16 0 211910 0
vsize: 847704
[startup+250.022 s]
Raw data (loadavg): 1.00 1.02 0.82 2/64 19186
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 22961 46 0 0 25 0 11 0 477305080 868048896 27958 4294967295 134512640 134569956 3221224416 3221214296 1131775172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 27958 13073 16 0 211910 0
vsize: 847704
[startup+260.023 s]
Raw data (loadavg): 1.00 1.02 0.82 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 23913 46 0 0 24 0 11 0 477305080 868048896 28061 4294967295 134512640 134569956 3221224416 3221214596 1131760713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 28061 13073 16 0 211910 0
vsize: 847704
[startup+270.023 s]
Raw data (loadavg): 1.00 1.02 0.82 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 24870 46 0 0 25 0 11 0 477305080 868048896 28207 4294967295 134512640 134569956 3221224416 3221214464 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 28207 13073 16 0 211910 0
vsize: 847704
[startup+280.023 s]
Raw data (loadavg): 1.00 1.01 0.82 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 25819 46 0 0 25 0 11 0 477305080 868048896 28321 4294967295 134512640 134569956 3221224416 3221214320 1131139177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 28321 13073 16 0 211910 0
vsize: 847704
[startup+290.024 s]
Raw data (loadavg): 1.00 1.01 0.82 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 26765 46 0 0 25 0 11 0 477305080 868048896 28425 4294967295 134512640 134569956 3221224416 3221214920 1131139072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 28425 13073 16 0 211910 0
vsize: 847704
[startup+300.023 s]
Raw data (loadavg): 1.00 1.01 0.82 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 27699 46 0 0 25 0 11 0 477305080 868048896 28518 4294967295 134512640 134569956 3221224416 3221214600 1131767783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 28518 13073 16 0 211910 0
vsize: 847704
[startup+310.024 s]
Raw data (loadavg): 1.00 1.01 0.82 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 28644 46 0 0 25 0 11 0 477305080 868048896 28747 4294967295 134512640 134569956 3221224416 3221214240 1131775527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 28747 13073 16 0 211910 0
vsize: 847704
[startup+320.024 s]
Raw data (loadavg): 1.00 1.01 0.83 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 29611 46 0 0 25 0 11 0 477305080 868048896 28846 4294967295 134512640 134569956 3221224416 3221214624 1131705359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 28846 13073 16 0 211910 0
vsize: 847704
[startup+330.025 s]
Raw data (loadavg): 1.00 1.01 0.83 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 30575 46 0 0 25 0 11 0 477305080 868048896 28995 4294967295 134512640 134569956 3221224416 3221214736 1131748835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 28995 13073 16 0 211910 0
vsize: 847704
[startup+340.025 s]
Raw data (loadavg): 1.00 1.01 0.83 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 31525 46 0 0 25 0 11 0 477305080 868048896 29132 4294967295 134512640 134569956 3221224416 3221214960 1131329249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 29132 13073 16 0 211910 0
vsize: 847704
[startup+350.027 s]
Raw data (loadavg): 1.00 1.01 0.83 2/64 19187
Raw data (stat): 19170 (java) S 19169 18865 18864 0 -1 0 18096 3 1 0 32476 46 0 0 25 0 11 0 477305080 868048896 29286 4294967295 134512640 134569956 3221224416 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 29286 13073 16 0 211910 0
vsize: 847704
[startup+360.028 s]
Raw data (loadavg): 1.00 1.01 0.83 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 33443 46 0 0 25 0 11 0 477305080 868048896 29405 4294967295 134512640 134569956 3221224416 3221214920 1131139196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 29405 13073 16 0 211910 0
vsize: 847704
[startup+370.029 s]
Raw data (loadavg): 1.00 1.01 0.83 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 34412 46 0 0 25 0 11 0 477305080 868048896 29502 4294967295 134512640 134569956 3221224416 3221214240 1085679337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 29502 13073 16 0 211910 0
vsize: 847704
[startup+380.03 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 35383 46 0 0 25 0 11 0 477305080 868048896 29577 4294967295 134512640 134569956 3221224416 3221214192 1131761425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 29577 13073 16 0 211910 0
vsize: 847704
[startup+390.03 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 36351 47 0 0 25 0 11 0 477305080 868048896 29671 4294967295 134512640 134569956 3221224416 3221214856 1131310781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 29671 13073 16 0 211910 0
vsize: 847704
[startup+400.03 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 37324 47 0 0 25 0 11 0 477305080 868048896 29736 4294967295 134512640 134569956 3221224416 3221214808 1131320562 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 29736 13073 16 0 211910 0
vsize: 847704
[startup+410.03 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 38308 47 0 0 25 0 11 0 477305080 868048896 29750 4294967295 134512640 134569956 3221224416 3221214548 1131761424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 29750 13073 16 0 211910 0
vsize: 847704
[startup+420.03 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 39264 47 0 0 25 0 11 0 477305080 868048896 29850 4294967295 134512640 134569956 3221224416 3221214328 1131761425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 29850 13073 16 0 211910 0
vsize: 847704
[startup+430.031 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 40222 47 0 0 25 0 11 0 477305080 868048896 29917 4294967295 134512640 134569956 3221224416 3221214768 1131483451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 29917 13073 16 0 211910 0
vsize: 847704
[startup+440.032 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 41168 47 0 0 25 0 11 0 477305080 868048896 29981 4294967295 134512640 134569956 3221224416 3221213992 1085679741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 29981 13073 16 0 211910 0
vsize: 847704
[startup+450.032 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 42119 47 0 0 25 0 11 0 477305080 868048896 30141 4294967295 134512640 134569956 3221224416 3221214920 1131139130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 30141 13073 16 0 211910 0
vsize: 847704
[startup+460.033 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 43080 47 0 0 25 0 11 0 477305080 868048896 30251 4294967295 134512640 134569956 3221224416 3221214248 1131761269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 30251 13073 16 0 211910 0
vsize: 847704
[startup+470.033 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 44043 47 0 0 25 0 11 0 477305080 868048896 30372 4294967295 134512640 134569956 3221224416 3221214536 1131542080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 30372 13073 16 0 211910 0
vsize: 847704
[startup+480.034 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 45004 47 0 0 25 0 11 0 477305080 868048896 30491 4294967295 134512640 134569956 3221224416 3221214960 1131329142 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 30491 13073 16 0 211910 0
vsize: 847704
[startup+490.035 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 45964 47 0 0 25 0 11 0 477305080 868048896 30517 4294967295 134512640 134569956 3221224416 3221214072 1085679331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 30517 13073 16 0 211910 0
vsize: 847704
[startup+500.036 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 46918 47 0 0 25 0 11 0 477305080 868048896 30619 4294967295 134512640 134569956 3221224416 3221214920 1131139171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 30619 13073 16 0 211910 0
vsize: 847704
[startup+510.036 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 47892 47 0 0 25 0 11 0 477305080 868048896 30667 4294967295 134512640 134569956 3221224416 3221214236 1131775441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 30667 13073 16 0 211910 0
vsize: 847704
[startup+520.036 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 48879 47 0 0 25 0 11 0 477305080 868048896 30703 4294967295 134512640 134569956 3221224416 3221214920 1131139072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 30703 13073 16 0 211910 0
vsize: 847704
[startup+530.037 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 49849 47 0 0 25 0 11 0 477305080 868048896 30766 4294967295 134512640 134569956 3221224416 3221214264 1131767772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 30766 13073 16 0 211910 0
vsize: 847704
[startup+540.038 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 50817 48 0 0 25 0 11 0 477305080 868048896 30828 4294967295 134512640 134569956 3221224416 3221214352 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 30828 13073 16 0 211910 0
vsize: 847704
[startup+550.038 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 51782 48 0 0 25 0 11 0 477305080 868048896 30954 4294967295 134512640 134569956 3221224416 3221214920 1131139104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 30954 13073 16 0 211910 0
vsize: 847704
[startup+560.039 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 52746 48 0 0 25 0 11 0 477305080 868048896 31068 4294967295 134512640 134569956 3221224416 3221214920 1131139072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 31068 13073 16 0 211910 0
vsize: 847704
[startup+570.04 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 53713 48 0 0 25 0 11 0 477305080 868048896 31146 4294967295 134512640 134569956 3221224416 3221214956 1131139265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 31146 13073 16 0 211910 0
vsize: 847704
[startup+580.04 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 54681 48 0 0 25 0 11 0 477305080 868048896 31220 4294967295 134512640 134569956 3221224416 3221214736 1131750547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 31220 13073 16 0 211910 0
vsize: 847704
[startup+590.041 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 55656 48 0 0 25 0 11 0 477305080 868048896 31284 4294967295 134512640 134569956 3221224416 3221214608 1131761425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 31284 13073 16 0 211910 0
vsize: 847704
[startup+600.043 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 19187
Raw data (stat): 19170 (java) S 19169 18865 18864 0 -1 0 18096 3 1 0 56625 48 0 0 25 0 11 0 477305080 868048896 31353 4294967295 134512640 134569956 3221224416 3221213600 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 31353 13073 16 0 211910 0
vsize: 847704
[startup+610.044 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 57600 48 0 0 25 0 11 0 477305080 868048896 31424 4294967295 134512640 134569956 3221224416 3221214656 1131703189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 31424 13073 16 0 211910 0
vsize: 847704
[startup+620.044 s]
Raw data (loadavg): 1.08 1.02 0.86 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 58580 48 0 0 25 0 11 0 477305080 868048896 31463 4294967295 134512640 134569956 3221224416 3221214320 1131767589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 31463 13073 16 0 211910 0
vsize: 847704
[startup+630.045 s]
Raw data (loadavg): 1.14 1.03 0.87 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 59560 48 0 0 25 0 11 0 477305080 868048896 31509 4294967295 134512640 134569956 3221224416 3221214328 1131761482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 31509 13073 16 0 211910 0
vsize: 847704
[startup+640.046 s]
Raw data (loadavg): 1.12 1.03 0.87 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 60536 48 0 0 25 0 11 0 477305080 868048896 31554 4294967295 134512640 134569956 3221224416 3221214632 1131320314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 31554 13073 16 0 211910 0
vsize: 847704
[startup+650.045 s]
Raw data (loadavg): 1.10 1.03 0.87 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 61513 48 0 0 25 0 11 0 477305080 868048896 31618 4294967295 134512640 134569956 3221224416 3221214184 1131775290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 31618 13073 16 0 211910 0
vsize: 847704
[startup+660.046 s]
Raw data (loadavg): 1.08 1.03 0.87 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 62494 48 0 0 25 0 11 0 477305080 868048896 31660 4294967295 134512640 134569956 3221224416 3221214920 1131139226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 31660 13073 16 0 211910 0
vsize: 847704
[startup+670.051 s]
Raw data (loadavg): 1.07 1.03 0.87 2/64 19187
Raw data (stat): 19170 (java) S 19169 18865 18864 0 -1 0 18096 3 1 0 63469 48 0 0 25 0 11 0 477305080 868048896 31695 4294967295 134512640 134569956 3221224416 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 31695 13073 16 0 211910 0
vsize: 847704
[startup+680.053 s]
Raw data (loadavg): 1.14 1.04 0.88 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 64446 48 0 0 24 0 11 0 477305080 868048896 31757 4294967295 134512640 134569956 3221224416 3221214720 1131354528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 31757 13073 16 0 211910 0
vsize: 847704
[startup+690.053 s]
Raw data (loadavg): 1.12 1.04 0.88 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 65421 48 0 0 25 0 11 0 477305080 868048896 31795 4294967295 134512640 134569956 3221224416 3221214856 1131310626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 31795 13073 16 0 211910 0
vsize: 847704
[startup+700.054 s]
Raw data (loadavg): 1.10 1.04 0.88 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 66390 48 0 0 25 0 11 0 477305080 868048896 31858 4294967295 134512640 134569956 3221224416 3221214464 1085679495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 31858 13073 16 0 211910 0
vsize: 847704
[startup+710.054 s]
Raw data (loadavg): 1.16 1.05 0.88 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 67355 48 0 0 25 0 11 0 477305080 868048896 31894 4294967295 134512640 134569956 3221224416 3221214960 1131329157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 31894 13073 16 0 211910 0
vsize: 847704
[startup+720.055 s]
Raw data (loadavg): 1.13 1.05 0.89 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 68321 49 0 0 25 0 11 0 477305080 868048896 31940 4294967295 134512640 134569956 3221224416 3221214856 1131310517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 31940 13073 16 0 211910 0
vsize: 847704
[startup+730.059 s]
Raw data (loadavg): 1.11 1.05 0.89 2/64 19187
Raw data (stat): 19170 (java) S 19169 18865 18864 0 -1 0 18096 3 1 0 69290 49 0 0 25 0 11 0 477305080 868048896 31996 4294967295 134512640 134569956 3221224416 3221213600 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 31996 13073 16 0 211910 0
vsize: 847704
[startup+740.062 s]
Raw data (loadavg): 1.09 1.05 0.89 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 70240 49 0 0 25 0 11 0 477305080 868048896 32092 4294967295 134512640 134569956 3221224416 3221214656 1131703189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 32092 13073 16 0 211910 0
vsize: 847704
[startup+750.063 s]
Raw data (loadavg): 1.08 1.04 0.89 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 71200 49 0 0 25 0 11 0 477305080 868048896 32203 4294967295 134512640 134569956 3221224416 3221214412 1131770413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 32203 13073 16 0 211910 0
vsize: 847704
[startup+760.064 s]
Raw data (loadavg): 1.07 1.04 0.89 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 72167 49 0 0 25 0 11 0 477305080 868048896 32256 4294967295 134512640 134569956 3221224416 3221214536 1131767816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 32256 13073 16 0 211910 0
vsize: 847704
[startup+770.064 s]
Raw data (loadavg): 1.06 1.04 0.89 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 73124 49 0 0 25 0 11 0 477305080 868048896 32385 4294967295 134512640 134569956 3221224416 3221214768 1131486009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 32385 13073 16 0 211910 0
vsize: 847704
[startup+780.066 s]
Raw data (loadavg): 1.05 1.04 0.89 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 74086 49 0 0 25 0 11 0 477305080 868048896 32517 4294967295 134512640 134569956 3221224416 3221214920 1131139072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 32517 13073 16 0 211910 0
vsize: 847704
[startup+790.066 s]
Raw data (loadavg): 1.04 1.04 0.89 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 75059 49 0 0 25 0 11 0 477305080 868048896 32533 4294967295 134512640 134569956 3221224416 3221214128 1131775420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 32533 13073 16 0 211910 0
vsize: 847704
[startup+800.067 s]
Raw data (loadavg): 1.03 1.04 0.89 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 76042 49 0 0 25 0 11 0 477305080 868048896 32560 4294967295 134512640 134569956 3221224416 3221214248 1131761400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 32560 13073 16 0 211910 0
vsize: 847704
[startup+810.068 s]
Raw data (loadavg): 1.03 1.03 0.89 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 77007 50 0 0 25 0 11 0 477305080 868048896 32633 4294967295 134512640 134569956 3221224416 3221214600 1131767783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 32633 13073 16 0 211910 0
vsize: 847704
[startup+820.067 s]
Raw data (loadavg): 1.02 1.03 0.90 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 77986 50 0 0 25 0 11 0 477305080 868048896 32692 4294967295 134512640 134569956 3221224416 3221214248 1131770620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 32692 13073 16 0 211910 0
vsize: 847704
[startup+830.068 s]
Raw data (loadavg): 1.02 1.03 0.90 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 78953 50 0 0 25 0 11 0 477305080 868048896 32752 4294967295 134512640 134569956 3221224416 3221214768 1131483722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 32752 13073 16 0 211910 0
vsize: 847704
[startup+840.069 s]
Raw data (loadavg): 1.02 1.03 0.90 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 79911 51 0 0 25 0 11 0 477305080 868048896 32866 4294967295 134512640 134569956 3221224416 3221214632 1131722501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 32866 13073 16 0 211910 0
vsize: 847704
[startup+850.069 s]
Raw data (loadavg): 1.01 1.03 0.90 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 80874 51 0 0 25 0 11 0 477305080 868048896 32981 4294967295 134512640 134569956 3221224416 3221214856 1131310781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 32981 13073 16 0 211910 0
vsize: 847704
[startup+860.07 s]
Raw data (loadavg): 1.08 1.04 0.90 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 81843 52 0 0 25 0 11 0 477305080 868048896 33027 4294967295 134512640 134569956 3221224416 3221214856 1131310621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 33027 13073 16 0 211910 0
vsize: 847704
[startup+870.071 s]
Raw data (loadavg): 1.07 1.04 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 82808 52 0 0 25 0 11 0 477305080 868048896 33118 4294967295 134512640 134569956 3221224416 3221214960 1131561848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 33118 13073 16 0 211910 0
vsize: 847704
[startup+880.071 s]
Raw data (loadavg): 1.06 1.04 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 83774 52 0 0 25 0 11 0 477305080 868048896 33190 4294967295 134512640 134569956 3221224416 3221214920 1131139089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 33190 13073 16 0 211910 0
vsize: 847704
[startup+890.072 s]
Raw data (loadavg): 1.05 1.04 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 84740 53 0 0 25 0 11 0 477305080 868048896 33238 4294967295 134512640 134569956 3221224416 3221214624 1131705376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 33238 13073 16 0 211910 0
vsize: 847704
[startup+900.073 s]
Raw data (loadavg): 1.04 1.03 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 85708 53 0 0 25 0 11 0 477305080 868048896 33319 4294967295 134512640 134569956 3221224416 3221214856 1131310950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 33319 13073 16 0 211910 0
vsize: 847704
[startup+910.074 s]
Raw data (loadavg): 1.03 1.03 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 86679 53 0 0 25 0 11 0 477305080 868048896 33377 4294967295 134512640 134569956 3221224416 3221214856 1131311643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 33377 13073 16 0 211910 0
vsize: 847704
[startup+920.075 s]
Raw data (loadavg): 1.03 1.03 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 87649 54 0 0 25 0 11 0 477305080 868048896 33435 4294967295 134512640 134569956 3221224416 3221214620 1131595116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 33435 13073 16 0 211910 0
vsize: 847704
[startup+930.075 s]
Raw data (loadavg): 1.02 1.03 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 88614 54 0 0 25 0 11 0 477305080 868048896 33490 4294967295 134512640 134569956 3221224416 3221214856 1131310958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 33490 13073 16 0 211910 0
vsize: 847704
[startup+940.076 s]
Raw data (loadavg): 1.02 1.03 0.91 2/64 19187
Raw data (stat): 19170 (java) S 19169 18865 18864 0 -1 0 18096 3 1 0 89583 55 0 0 25 0 11 0 477305080 868048896 33548 4294967295 134512640 134569956 3221224416 3221213600 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 33548 13073 16 0 211910 0
vsize: 847704
[startup+950.077 s]
Raw data (loadavg): 1.02 1.03 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 90544 55 0 0 25 0 11 0 477305080 868048896 33610 4294967295 134512640 134569956 3221224416 3221214856 1131311585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 33610 13073 16 0 211910 0
vsize: 847704
[startup+960.078 s]
Raw data (loadavg): 1.01 1.03 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 91508 55 0 0 25 0 11 0 477305080 868048896 33709 4294967295 134512640 134569956 3221224416 3221214736 1131748949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 33709 13073 16 0 211910 0
vsize: 847704
[startup+970.078 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 92475 56 0 0 25 0 11 0 477305080 868048896 33777 4294967295 134512640 134569956 3221224416 3221214920 1131139072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 33777 13073 16 0 211910 0
vsize: 847704
[startup+980.079 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 93436 56 0 0 25 0 11 0 477305080 868048896 33863 4294967295 134512640 134569956 3221224416 3221214148 1085679264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 33863 13073 16 0 211910 0
vsize: 847704
[startup+990.08 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 94403 56 0 0 25 0 11 0 477305080 868048896 33918 4294967295 134512640 134569956 3221224416 3221214712 1131190681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 33918 13073 16 0 211910 0
vsize: 847704
[startup+1000.08 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 95368 57 0 0 25 0 11 0 477305080 868048896 33988 4294967295 134512640 134569956 3221224416 3221214736 1131750554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 33988 13073 16 0 211910 0
vsize: 847704
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 96336 57 0 0 25 0 11 0 477305080 868048896 34062 4294967295 134512640 134569956 3221224416 3221213904 1131775415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 34062 13073 16 0 211910 0
vsize: 847704
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 97307 58 0 0 25 0 11 0 477305080 868048896 34140 4294967295 134512640 134569956 3221224416 3221214768 1131475914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 34140 13073 16 0 211910 0
vsize: 847704
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 98282 58 0 0 25 0 11 0 477305080 868048896 34189 4294967295 134512640 134569956 3221224416 3221214856 1131310742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 34189 13073 16 0 211910 0
vsize: 847704
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 99243 58 0 0 25 0 11 0 477305080 868048896 34266 4294967295 134512640 134569956 3221224416 3221214632 1131320407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 34266 13073 16 0 211910 0
vsize: 847704
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 100205 59 0 0 25 0 11 0 477305080 868048896 34380 4294967295 134512640 134569956 3221224416 3221214856 1131310405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 34380 13073 16 0 211910 0
vsize: 847704
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 101166 59 0 0 24 0 11 0 477305080 868048896 34463 4294967295 134512640 134569956 3221224416 3221214856 1131310436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 34463 13073 16 0 211910 0
vsize: 847704
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 102133 59 0 0 25 0 11 0 477305080 868048896 34546 4294967295 134512640 134569956 3221224416 3221214736 1131750561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 34546 13073 16 0 211910 0
vsize: 847704
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 103103 60 0 0 25 0 11 0 477305080 868048896 34604 4294967295 134512640 134569956 3221224416 3221214856 1131311657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 34604 13073 16 0 211910 0
vsize: 847704
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 104072 60 0 0 25 0 11 0 477305080 868048896 34672 4294967295 134512640 134569956 3221224416 3221214856 1131310397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 34672 13073 16 0 211910 0
vsize: 847704
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 105039 60 0 0 25 0 11 0 477305080 868048896 34724 4294967295 134512640 134569956 3221224416 3221214960 1131329157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 34724 13073 16 0 211910 0
vsize: 847704
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 106006 61 0 0 25 0 11 0 477305080 868048896 34782 4294967295 134512640 134569956 3221224416 3221214736 1131750625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 34782 13073 16 0 211910 0
vsize: 847704
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 106970 61 0 0 25 0 11 0 477305080 868048896 34844 4294967295 134512640 134569956 3221224416 3221214632 1131320435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 34844 13073 16 0 211910 0
vsize: 847704
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 107934 61 0 0 25 0 11 0 477305080 868048896 34916 4294967295 134512640 134569956 3221224416 3221214632 1131320591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 34916 13073 16 0 211910 0
vsize: 847704
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 108905 61 0 0 25 0 11 0 477305080 868048896 34978 4294967295 134512640 134569956 3221224416 3221214152 1131767804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 34978 13073 16 0 211910 0
vsize: 847704
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 19187
Raw data (stat): 19170 (java) S 19169 18865 18864 0 -1 0 18096 3 1 0 109874 61 0 0 25 0 11 0 477305080 868048896 35041 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 35041 13073 16 0 211910 0
vsize: 847704
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 110851 61 0 0 25 0 11 0 477305080 868048896 35111 4294967295 134512640 134569956 3221224416 3221214624 1131705390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211926 35111 13073 16 0 211910 0
vsize: 847704
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 111818 61 0 0 24 0 11 0 477305080 868048896 35172 4294967295 134512640 134569956 3221224416 3221214632 1131320435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 35172 13073 16 0 211910 0
vsize: 847704
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 19187
Raw data (stat): 19170 (java) S 19169 18865 18864 0 -1 0 18096 3 1 0 112789 61 0 0 25 0 11 0 477305080 868048896 35215 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 35215 13073 16 0 211910 0
vsize: 847704
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 113755 62 0 0 25 0 11 0 477305080 868048896 35276 4294967295 134512640 134569956 3221224416 3221214712 1131190681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 35276 13073 16 0 211910 0
vsize: 847704
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 114717 62 0 0 25 0 11 0 477305080 868048896 35352 4294967295 134512640 134569956 3221224416 3221214920 1131139072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 35352 13073 16 0 211910 0
vsize: 847704
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 115685 62 0 0 25 0 11 0 477305080 868048896 35410 4294967295 134512640 134569956 3221224416 3221214736 1131750656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 35410 13073 16 0 211910 0
vsize: 847704
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 116655 62 0 0 25 0 11 0 477305080 868048896 35494 4294967295 134512640 134569956 3221224416 3221214960 1131329145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 35494 13073 16 0 211910 0
vsize: 847704
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 117620 62 0 0 25 0 11 0 477305080 868048896 35571 4294967295 134512640 134569956 3221224416 3221214856 1131310781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 35571 13073 16 0 211910 0
vsize: 847704
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 118585 62 0 0 25 0 11 0 477305080 868048896 35636 4294967295 134512640 134569956 3221224416 3221214632 1131320407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 35636 13073 16 0 211910 0
vsize: 847704
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 19187
Raw data (stat): 19170 (java) R 19169 18865 18864 0 -1 0 18096 3 1 0 119560 62 0 0 25 0 11 0 477305080 868048896 35707 4294967295 134512640 134569956 3221224416 3221214960 1131329165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 35707 13073 16 0 211910 0
vsize: 847704
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 19187
Raw data (stat): 19170 (java) S 19169 18865 18864 0 -1 0 18096 3 1 0 120541 62 0 0 25 0 11 0 477305080 868048896 35727 4294967295 134512640 134569956 3221224416 3221213496 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211926 35727 13073 16 0 211910 0
vsize: 847704
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.26 s]
Raw data (loadavg): 1.00 1.00 0.91 1/54 19189
Raw data (stat): 19170 (java) Z 19169 18865 18864 0 -1 1036 18096 13742 1 0 120546 62 4842 41 25 0 1 0 477305080 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): 1260.26
CPU time (s): 1254.93
CPU user time (s): 1253.89
CPU system time (s): 1.03984
CPU usage (%): 99.5774
Max. virtual memory (Kb): 851788
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####