PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-danoint.opb
MD5SUM	cdd5642b047e784e87a00fe758efc418
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	13421772800
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	53690300878
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.01085
Number of variables	13898
Total number of constraints	728
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	72
Number of constraints which are nor clauses,nor cardinality constraints	656
Minimum length of a constraint	1
Maximum length of a constraint	1500
Trace number 21397

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-04-21 23:41:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13282 boxname=wulflinc12 idbench=1022 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  cdd5642b047e784e87a00fe758efc418  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-danoint.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-danoint.opb
IDLAUNCH: 13282
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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	: 2
cpu MHz		: 451.091
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:        220056 kB
Buffers:         33644 kB
Cached:         758728 kB
SwapCached:        508 kB
Active:         161992 kB
Inactive:       632476 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        219804 kB
SwapTotal:     2097136 kB
SwapFree:      2095888 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5276 kB
Slab:            14452 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 00:02:28 (client local time) WITH STATUS 143 IN 1263.26 SECONDS
stats: 13282 7 1263.26 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-danoint.opb
c reading problem 
c [nbvar=13898]
c [nbconstr=728]
c time 64.843
c #vars     13898
c #clauses  816
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
#### 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.56 0.84 0.87 2/54 8631
Raw data (stat): 8631 (runsolver) R 8630 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 490895515 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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): 0.77 0.88 0.88 2/63 8640
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18014 0 1 0 770 45 0 0 25 0 10 0 490895515 860753920 21240 4294967295 134512640 134569956 3221224400 3221214488 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210145 21240 13073 16 0 210129 0
vsize: 840580
[startup+20.002 s]
Raw data (loadavg): 0.81 0.88 0.88 2/63 8640
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18014 0 1 0 1645 46 0 0 25 0 10 0 490895515 860753920 21990 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210145 21990 13073 16 0 210129 0
vsize: 840580
[startup+30.0028 s]
Raw data (loadavg): 0.83 0.89 0.88 2/63 8640
Raw data (stat): 8631 (java) S 8630 25285 25284 0 -1 0 18014 0 1 0 2516 46 0 0 25 0 10 0 490895515 860753920 22268 4294967295 134512640 134569956 3221224400 3221213776 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210145 22268 13073 16 0 210129 0
vsize: 840580
[startup+40.0032 s]
Raw data (loadavg): 0.86 0.89 0.88 2/63 8640
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18014 0 1 0 3408 47 0 0 25 0 10 0 490895515 860753920 22662 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210145 22662 13073 16 0 210129 0
vsize: 840580
[startup+50.0044 s]
Raw data (loadavg): 0.88 0.89 0.89 2/63 8640
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18014 0 1 0 4310 47 0 0 25 0 10 0 490895515 860753920 22941 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210145 22941 13073 16 0 210129 0
vsize: 840580
[startup+60.0053 s]
Raw data (loadavg): 0.90 0.89 0.89 2/63 8640
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18014 0 1 0 5207 48 0 0 22 0 10 0 490895515 860753920 23187 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210145 23187 13073 16 0 210129 0
vsize: 840580
[startup+70.0057 s]
Raw data (loadavg): 0.91 0.90 0.89 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18042 0 1 0 6051 50 0 0 25 0 11 0 490895515 861282304 25615 4294967295 134512640 134569956 3221224400 3221214776 1131393790 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25615 13073 16 0 210258 0
vsize: 841096
[startup+80.007 s]
Raw data (loadavg): 0.93 0.90 0.89 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18042 0 1 0 7006 50 0 0 25 0 11 0 490895515 861282304 25615 4294967295 134512640 134569956 3221224400 3221214680 1131340615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25615 13073 16 0 210258 0
vsize: 841096
[startup+90.0079 s]
Raw data (loadavg): 0.94 0.90 0.89 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18042 0 1 0 7957 50 0 0 25 0 11 0 490895515 861282304 25615 4294967295 134512640 134569956 3221224400 3221214680 1131340293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25615 13073 16 0 210258 0
vsize: 841096
[startup+100.008 s]
Raw data (loadavg): 1.03 0.92 0.90 4/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18080 0 1 0 8842 51 0 0 25 0 11 0 490895515 862330880 26136 4294967295 134512640 134569956 3221224400 3221213984 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210530 26136 13073 16 0 210514 0
vsize: 842120
[startup+110.009 s]
Raw data (loadavg): 1.02 0.92 0.90 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18082 0 1 0 9809 51 0 0 25 0 11 0 490895515 862330880 26109 4294967295 134512640 134569956 3221224400 3221214236 1077378401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210530 26109 13073 16 0 210514 0
vsize: 842120
[startup+120.01 s]
Raw data (loadavg): 1.02 0.93 0.90 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18082 0 1 0 10803 51 0 0 25 0 11 0 490895515 862330880 26118 4294967295 134512640 134569956 3221224400 3221214616 1131451427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210530 26118 13073 16 0 210514 0
vsize: 842120
[startup+130.011 s]
Raw data (loadavg): 1.02 0.93 0.90 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18082 0 1 0 11783 52 0 0 25 0 11 0 490895515 862330880 26128 4294967295 134512640 134569956 3221224400 3221214704 1131592300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210530 26128 13073 16 0 210514 0
vsize: 842120
[startup+140.011 s]
Raw data (loadavg): 1.01 0.93 0.90 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 12762 52 0 0 25 0 11 0 490895515 863379456 26420 4294967295 134512640 134569956 3221224400 3221214696 1131592304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210786 26420 13073 16 0 210770 0
vsize: 843144
[startup+150.117 s]
Raw data (loadavg): 1.01 0.93 0.90 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 13753 52 0 0 25 0 11 0 490895515 863379456 26413 4294967295 134512640 134569956 3221224400 3221214504 1131229185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 26413 13073 16 0 210770 0
vsize: 843144
[startup+160.117 s]
Raw data (loadavg): 1.01 0.93 0.90 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 14723 52 0 0 25 0 11 0 490895515 863379456 26426 4294967295 134512640 134569956 3221224400 3221214640 1131566944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210786 26426 13073 16 0 210770 0
vsize: 843144
[startup+170.118 s]
Raw data (loadavg): 1.01 0.94 0.90 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 15697 52 0 0 25 0 11 0 490895515 863379456 26435 4294967295 134512640 134569956 3221224400 3221214592 1131543534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 26435 13073 16 0 210770 0
vsize: 843144
[startup+180.118 s]
Raw data (loadavg): 1.00 0.94 0.90 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 16666 52 0 0 25 0 11 0 490895515 863379456 26443 4294967295 134512640 134569956 3221224400 3221214696 1131592288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210786 26443 13073 16 0 210770 0
vsize: 843144
[startup+190.118 s]
Raw data (loadavg): 1.00 0.94 0.90 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 17604 53 0 0 25 0 11 0 490895515 863379456 26619 4294967295 134512640 134569956 3221224400 3221214776 1131389283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 26619 13073 16 0 210770 0
vsize: 843144
[startup+200.119 s]
Raw data (loadavg): 1.00 0.94 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 18510 53 0 0 25 0 11 0 490895515 863379456 26708 4294967295 134512640 134569956 3221224400 3221214680 1131340855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 26708 13073 16 0 210770 0
vsize: 843144
[startup+210.119 s]
Raw data (loadavg): 1.00 0.94 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 19440 53 0 0 24 0 11 0 490895515 863379456 27198 4294967295 134512640 134569956 3221224400 3221214680 1131341107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 27198 13073 16 0 210770 0
vsize: 843144
[startup+220.119 s]
Raw data (loadavg): 1.00 0.94 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 20417 53 0 0 25 0 11 0 490895515 863379456 27510 4294967295 134512640 134569956 3221224400 3221214776 1131390296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 27510 13073 16 0 210770 0
vsize: 843144
[startup+230.121 s]
Raw data (loadavg): 1.00 0.94 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 21410 53 0 0 25 0 11 0 490895515 863379456 27525 4294967295 134512640 134569956 3221224400 3221214696 1131592304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 27525 13073 16 0 210770 0
vsize: 843144
[startup+240.121 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 22403 54 0 0 25 0 11 0 490895515 863379456 27538 4294967295 134512640 134569956 3221224400 3221214696 1131592308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210786 27538 13073 16 0 210770 0
vsize: 843144
[startup+250.122 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 23394 54 0 0 25 0 11 0 490895515 863379456 27543 4294967295 134512640 134569956 3221224400 3221214696 1131592304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 27543 13073 16 0 210770 0
vsize: 843144
[startup+260.123 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 24384 54 0 0 25 0 11 0 490895515 863379456 27551 4294967295 134512640 134569956 3221224400 3221214576 1131561658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 27551 13073 16 0 210770 0
vsize: 843144
[startup+270.122 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 25371 54 0 0 25 0 11 0 490895515 863379456 27556 4294967295 134512640 134569956 3221224400 3221214696 1131592334 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210786 27556 13073 16 0 210770 0
vsize: 843144
[startup+280.122 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 26356 55 0 0 25 0 11 0 490895515 863379456 27558 4294967295 134512640 134569956 3221224400 3221214696 1131614821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 27558 13073 16 0 210770 0
vsize: 843144
[startup+290.124 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 27339 55 0 0 25 0 11 0 490895515 863379456 27560 4294967295 134512640 134569956 3221224400 3221214696 1131592308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 27560 13073 16 0 210770 0
vsize: 843144
[startup+300.124 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 28320 55 0 0 25 0 11 0 490895515 863379456 27568 4294967295 134512640 134569956 3221224400 3221214736 1131421856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 27568 13073 16 0 210770 0
vsize: 843144
[startup+310.124 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 29300 56 0 0 25 0 11 0 490895515 863379456 27573 4294967295 134512640 134569956 3221224400 3221214696 1131592304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 27573 13073 16 0 210770 0
vsize: 843144
[startup+320.124 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 30277 56 0 0 25 0 11 0 490895515 863379456 27588 4294967295 134512640 134569956 3221224400 3221214696 1131592317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 27588 13073 16 0 210770 0
vsize: 843144
[startup+330.124 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 31253 56 0 0 25 0 11 0 490895515 863379456 27601 4294967295 134512640 134569956 3221224400 3221214696 1131592308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210786 27601 13073 16 0 210770 0
vsize: 843144
[startup+340.124 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 32228 56 0 0 25 0 11 0 490895515 863379456 27685 4294967295 134512640 134569956 3221224400 3221214696 1131592326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 27685 13073 16 0 210770 0
vsize: 843144
[startup+350.126 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 33194 56 0 0 25 0 11 0 490895515 863379456 27785 4294967295 134512640 134569956 3221224400 3221214504 1131230057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 27785 13073 16 0 210770 0
vsize: 843144
[startup+360.126 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 34168 57 0 0 25 0 11 0 490895515 863379456 27845 4294967295 134512640 134569956 3221224400 3221214592 1131544904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210786 27845 13073 16 0 210770 0
vsize: 843144
[startup+370.126 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 35133 57 0 0 25 0 11 0 490895515 863379456 27935 4294967295 134512640 134569956 3221224400 3221214776 1131389283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 27935 13073 16 0 210770 0
vsize: 843144
[startup+380.126 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 36068 57 0 0 25 0 11 0 490895515 863379456 28141 4294967295 134512640 134569956 3221224400 3221214696 1131592288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 28141 13073 16 0 210770 0
vsize: 843144
[startup+390.127 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 37017 57 0 0 25 0 11 0 490895515 863379456 28403 4294967295 134512640 134569956 3221224400 3221214776 1131389023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 28403 13073 16 0 210770 0
vsize: 843144
[startup+400.127 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 37995 57 0 0 25 0 11 0 490895515 863379456 28524 4294967295 134512640 134569956 3221224400 3221214696 1131592308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 28524 13073 16 0 210770 0
vsize: 843144
[startup+410.128 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 38980 58 0 0 25 0 11 0 490895515 863379456 28604 4294967295 134512640 134569956 3221224400 3221214696 1131592308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 28604 13073 16 0 210770 0
vsize: 843144
[startup+420.128 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 39964 58 0 0 25 0 11 0 490895515 863379456 28675 4294967295 134512640 134569956 3221224400 3221214592 1131543580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210786 28675 13073 16 0 210770 0
vsize: 843144
[startup+430.128 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 40947 58 0 0 25 0 11 0 490895515 863379456 28713 4294967295 134512640 134569956 3221224400 3221214672 1131359513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 28713 13073 16 0 210770 0
vsize: 843144
[startup+440.128 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 41918 59 0 0 24 0 11 0 490895515 863379456 28716 4294967295 134512640 134569956 3221224400 3221214696 1131592308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 28716 13073 16 0 210770 0
vsize: 843144
[startup+450.129 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 42892 59 0 0 25 0 11 0 490895515 863379456 28721 4294967295 134512640 134569956 3221224400 3221214576 1131358997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 28721 13073 16 0 210770 0
vsize: 843144
[startup+460.128 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 43863 59 0 0 25 0 11 0 490895515 863379456 28764 4294967295 134512640 134569956 3221224400 3221214696 1131592319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 28764 13073 16 0 210770 0
vsize: 843144
[startup+470.129 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 44832 60 0 0 25 0 11 0 490895515 863379456 28903 4294967295 134512640 134569956 3221224400 3221214800 1131223597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 28903 13073 16 0 210770 0
vsize: 843144
[startup+480.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 45800 60 0 0 25 0 11 0 490895515 863379456 29017 4294967295 134512640 134569956 3221224400 3221214696 1131592317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 29017 13073 16 0 210770 0
vsize: 843144
[startup+490.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 46769 60 0 0 25 0 11 0 490895515 863379456 29129 4294967295 134512640 134569956 3221224400 3221214696 1131592326 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210786 29129 13073 16 0 210770 0
vsize: 843144
[startup+500.131 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 47738 61 0 0 25 0 11 0 490895515 863379456 29252 4294967295 134512640 134569956 3221224400 3221214856 1131555700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 29252 13073 16 0 210770 0
vsize: 843144
[startup+510.132 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 48707 61 0 0 25 0 11 0 490895515 863379456 29377 4294967295 134512640 134569956 3221224400 3221214808 1131464349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 29377 13073 16 0 210770 0
vsize: 843144
[startup+520.132 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 49665 61 0 0 25 0 11 0 490895515 863379456 29571 4294967295 134512640 134569956 3221224400 3221214776 1131390179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 29571 13073 16 0 210770 0
vsize: 843144
[startup+530.133 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 50591 62 0 0 25 0 11 0 490895515 863379456 29636 4294967295 134512640 134569956 3221224400 3221214772 1131223251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 29636 13073 16 0 210770 0
vsize: 843144
[startup+540.133 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 51553 62 0 0 25 0 11 0 490895515 863379456 29678 4294967295 134512640 134569956 3221224400 3221214736 1131422709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210786 29678 13073 16 0 210770 0
vsize: 843144
[startup+550.134 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 52523 62 0 0 25 0 11 0 490895515 863379456 29803 4294967295 134512640 134569956 3221224400 3221214504 1131228926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 29803 13073 16 0 210770 0
vsize: 843144
[startup+560.135 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 53485 63 0 0 25 0 11 0 490895515 863379456 29971 4294967295 134512640 134569956 3221224400 3221214776 1131389218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 29971 13073 16 0 210770 0
vsize: 843144
[startup+570.136 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 54457 63 0 0 25 0 11 0 490895515 863379456 30084 4294967295 134512640 134569956 3221224400 3221214696 1131592308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 30084 13073 16 0 210770 0
vsize: 843144
[startup+580.137 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 55431 63 0 0 25 0 11 0 490895515 863379456 30218 4294967295 134512640 134569956 3221224400 3221214640 1131567016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 30218 13073 16 0 210770 0
vsize: 843144
[startup+590.137 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 56394 64 0 0 25 0 11 0 490895515 863379456 30423 4294967295 134512640 134569956 3221224400 3221214504 1131228813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 30423 13073 16 0 210770 0
vsize: 843144
[startup+600.137 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 57370 64 0 0 25 0 11 0 490895515 863379456 30497 4294967295 134512640 134569956 3221224400 3221214696 1131592326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 30497 13073 16 0 210770 0
vsize: 843144
[startup+610.137 s]
Raw data (loadavg): 1.00 0.97 0.91 3/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 58344 65 0 0 25 0 11 0 490895515 863379456 30503 4294967295 134512640 134569956 3221224400 3221214696 1131592300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210786 30503 13073 16 0 210770 0
vsize: 843144
[startup+620.137 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 59307 65 0 0 25 0 11 0 490895515 863379456 30525 4294967295 134512640 134569956 3221224400 3221214696 1131592313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 30525 13073 16 0 210770 0
vsize: 843144
[startup+630.138 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 60277 65 0 0 25 0 11 0 490895515 863379456 30563 4294967295 134512640 134569956 3221224400 3221214776 1131390448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 30563 13073 16 0 210770 0
vsize: 843144
[startup+640.139 s]
Raw data (loadavg): 1.00 0.97 0.91 3/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 61246 66 0 0 25 0 11 0 490895515 863379456 30655 4294967295 134512640 134569956 3221224400 3221214696 1131614811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 30655 13073 16 0 210770 0
vsize: 843144
[startup+650.139 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 62205 66 0 0 25 0 11 0 490895515 863379456 30779 4294967295 134512640 134569956 3221224400 3221214600 1131340386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 30779 13073 16 0 210770 0
vsize: 843144
[startup+660.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 63174 66 0 0 25 0 11 0 490895515 863379456 30869 4294967295 134512640 134569956 3221224400 3221214696 1131592326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 30869 13073 16 0 210770 0
vsize: 843144
[startup+670.139 s]
Raw data (loadavg): 1.00 0.97 0.91 3/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 64143 66 0 0 25 0 11 0 490895515 863379456 30969 4294967295 134512640 134569956 3221224400 3221214696 1131592315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 30969 13073 16 0 210770 0
vsize: 843144
[startup+680.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 65102 67 0 0 25 0 11 0 490895515 863379456 31103 4294967295 134512640 134569956 3221224400 3221214696 1131592413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 31103 13073 16 0 210770 0
vsize: 843144
[startup+690.141 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 66071 67 0 0 25 0 11 0 490895515 863379456 31163 4294967295 134512640 134569956 3221224400 3221214688 1131540218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 31163 13073 16 0 210770 0
vsize: 843144
[startup+700.141 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 67039 68 0 0 25 0 11 0 490895515 863379456 31293 4294967295 134512640 134569956 3221224400 3221214696 1131592313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 31293 13073 16 0 210770 0
vsize: 843144
[startup+710.142 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 68008 68 0 0 25 0 11 0 490895515 863379456 31371 4294967295 134512640 134569956 3221224400 3221214776 1131390266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 31371 13073 16 0 210770 0
vsize: 843144
[startup+720.143 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 68965 68 0 0 25 0 11 0 490895515 863379456 31545 4294967295 134512640 134569956 3221224400 3221214680 1131340729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 31545 13073 16 0 210770 0
vsize: 843144
[startup+730.143 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 69934 69 0 0 25 0 11 0 490895515 863379456 31642 4294967295 134512640 134569956 3221224400 3221214696 1131592300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 31642 13073 16 0 210770 0
vsize: 843144
[startup+740.143 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 70903 69 0 0 25 0 11 0 490895515 863379456 31728 4294967295 134512640 134569956 3221224400 3221214696 1131592326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 31728 13073 16 0 210770 0
vsize: 843144
[startup+750.144 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 71862 69 0 0 25 0 11 0 490895515 863379456 31852 4294967295 134512640 134569956 3221224400 3221214696 1131592313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 31852 13073 16 0 210770 0
vsize: 843144
[startup+760.144 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 72830 70 0 0 25 0 11 0 490895515 863379456 31950 4294967295 134512640 134569956 3221224400 3221214696 1131592313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 31950 13073 16 0 210770 0
vsize: 843144
[startup+770.144 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) S 8630 25285 25284 0 -1 0 18083 0 1 0 73791 70 0 0 25 0 11 0 490895515 863379456 32049 4294967295 134512640 134569956 3221224400 3221213208 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 32049 13073 16 0 210770 0
vsize: 843144
[startup+780.146 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 74758 71 0 0 25 0 11 0 490895515 863379456 32149 4294967295 134512640 134569956 3221224400 3221214696 1131592308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 32149 13073 16 0 210770 0
vsize: 843144
[startup+790.146 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 75699 71 0 0 25 0 11 0 490895515 863379456 32281 4294967295 134512640 134569956 3221224400 3221214776 1131389283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 32281 13073 16 0 210770 0
vsize: 843144
[startup+800.146 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 76649 72 0 0 25 0 11 0 490895515 863379456 32512 4294967295 134512640 134569956 3221224400 3221214808 1131462020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 32512 13073 16 0 210770 0
vsize: 843144
[startup+810.147 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 77625 72 0 0 25 0 11 0 490895515 863379456 32591 4294967295 134512640 134569956 3221224400 3221214504 1131229185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210786 32591 13073 16 0 210770 0
vsize: 843144
[startup+820.147 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 78593 72 0 0 25 0 11 0 490895515 863379456 32710 4294967295 134512640 134569956 3221224400 3221214696 1131592304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 32710 13073 16 0 210770 0
vsize: 843144
[startup+830.148 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 79570 72 0 0 25 0 11 0 490895515 863379456 32811 4294967295 134512640 134569956 3221224400 3221214696 1131592315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 32811 13073 16 0 210770 0
vsize: 843144
[startup+840.148 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 80546 73 0 0 25 0 11 0 490895515 863379456 32905 4294967295 134512640 134569956 3221224400 3221214696 1131592317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 32905 13073 16 0 210770 0
vsize: 843144
[startup+850.148 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 81513 73 0 0 25 0 11 0 490895515 863379456 33028 4294967295 134512640 134569956 3221224400 3221214504 1131228933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 33028 13073 16 0 210770 0
vsize: 843144
[startup+860.148 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 82489 73 0 0 25 0 11 0 490895515 863379456 33130 4294967295 134512640 134569956 3221224400 3221214848 1131412345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 33130 13073 16 0 210770 0
vsize: 843144
[startup+870.148 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 83465 73 0 0 25 0 11 0 490895515 863379456 33134 4294967295 134512640 134569956 3221224400 3221214696 1131592345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 33134 13073 16 0 210770 0
vsize: 843144
[startup+880.149 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 84430 74 0 0 25 0 11 0 490895515 863379456 33142 4294967295 134512640 134569956 3221224400 3221214696 1131592337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 33142 13073 16 0 210770 0
vsize: 843144
[startup+890.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18083 0 1 0 85400 74 0 0 25 0 11 0 490895515 863379456 33154 4294967295 134512640 134569956 3221224400 3221214736 1131420860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 33154 13073 16 0 210770 0
vsize: 843144
[startup+900.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 86360 74 0 0 24 0 11 0 490895515 863379456 33269 4294967295 134512640 134569956 3221224400 3221214696 1131592313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 33269 13073 16 0 210770 0
vsize: 843144
[startup+910.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 87329 75 0 0 25 0 11 0 490895515 863379456 33348 4294967295 134512640 134569956 3221224400 3221214592 1131544947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 33348 13073 16 0 210770 0
vsize: 843144
[startup+920.151 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 88299 75 0 0 25 0 11 0 490895515 863379456 33446 4294967295 134512640 134569956 3221224400 3221214456 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 33446 13073 16 0 210770 0
vsize: 843144
[startup+930.152 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 89260 75 0 0 25 0 11 0 490895515 863379456 33596 4294967295 134512640 134569956 3221224400 3221214696 1131592304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 33596 13073 16 0 210770 0
vsize: 843144
[startup+940.152 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 90232 75 0 0 25 0 11 0 490895515 863379456 33680 4294967295 134512640 134569956 3221224400 3221214696 1131592304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 33680 13073 16 0 210770 0
vsize: 843144
[startup+950.152 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 91204 75 0 0 25 0 11 0 490895515 863379456 33761 4294967295 134512640 134569956 3221224400 3221214696 1131592334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 33761 13073 16 0 210770 0
vsize: 843144
[startup+960.153 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 92166 75 0 0 25 0 11 0 490895515 863379456 33867 4294967295 134512640 134569956 3221224400 3221214696 1131614656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 33867 13073 16 0 210770 0
vsize: 843144
[startup+970.153 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 93137 76 0 0 25 0 11 0 490895515 863379456 33945 4294967295 134512640 134569956 3221224400 3221214776 1131390194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 33945 13073 16 0 210770 0
vsize: 843144
[startup+980.154 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 94108 76 0 0 25 0 11 0 490895515 863379456 34023 4294967295 134512640 134569956 3221224400 3221214504 1131229001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 34023 13073 16 0 210770 0
vsize: 843144
[startup+990.155 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 95069 77 0 0 25 0 11 0 490895515 863379456 34123 4294967295 134512640 134569956 3221224400 3221214696 1131592288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 34123 13073 16 0 210770 0
vsize: 843144
[startup+1000.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 96040 77 0 0 25 0 11 0 490895515 863379456 34210 4294967295 134512640 134569956 3221224400 3221214720 1131492887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 34210 13073 16 0 210770 0
vsize: 843144
[startup+1010.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 97011 78 0 0 25 0 11 0 490895515 863379456 34289 4294967295 134512640 134569956 3221224400 3221214576 1131358977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 34289 13073 16 0 210770 0
vsize: 843144
[startup+1020.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 97971 78 0 0 25 0 11 0 490895515 863379456 34393 4294967295 134512640 134569956 3221224400 3221214608 1131551265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 34393 13073 16 0 210770 0
vsize: 843144
[startup+1030.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 98941 78 0 0 25 0 11 0 490895515 863379456 34473 4294967295 134512640 134569956 3221224400 3221214696 1131592313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 34473 13073 16 0 210770 0
vsize: 843144
[startup+1040.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 99911 78 0 0 25 0 11 0 490895515 863379456 34552 4294967295 134512640 134569956 3221224400 3221214696 1131592317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 34552 13073 16 0 210770 0
vsize: 843144
[startup+1050.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 100871 79 0 0 25 0 11 0 490895515 863379456 34666 4294967295 134512640 134569956 3221224400 3221214504 1131228872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 34666 13073 16 0 210770 0
vsize: 843144
[startup+1060.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 101841 79 0 0 25 0 11 0 490895515 863379456 34745 4294967295 134512640 134569956 3221224400 3221214592 1131543587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 34745 13073 16 0 210770 0
vsize: 843144
[startup+1070.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 102810 79 0 0 25 0 11 0 490895515 863379456 34823 4294967295 134512640 134569956 3221224400 3221214696 1131592337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 34823 13073 16 0 210770 0
vsize: 843144
[startup+1080.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 103770 80 0 0 25 0 11 0 490895515 863379456 34945 4294967295 134512640 134569956 3221224400 3221214696 1131592308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 34945 13073 16 0 210770 0
vsize: 843144
[startup+1090.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 104740 80 0 0 25 0 11 0 490895515 863379456 35029 4294967295 134512640 134569956 3221224400 3221214504 1131229710 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 35029 13073 16 0 210770 0
vsize: 843144
[startup+1100.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 8641
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 105710 80 0 0 25 0 11 0 490895515 863379456 35109 4294967295 134512640 134569956 3221224400 3221214504 1131228997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 35109 13073 16 0 210770 0
vsize: 843144
[startup+1110.16 s]
Raw data (loadavg): 1.08 0.99 0.91 3/68 8686
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 106670 81 0 0 25 0 11 0 490895515 863379456 35233 4294967295 134512640 134569956 3221224400 3221214776 1131389211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210786 35233 13073 16 0 210770 0
vsize: 843144
[startup+1120.16 s]
Raw data (loadavg): 1.07 0.99 0.91 2/64 8694
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 107640 81 0 0 25 0 11 0 490895515 863379456 35314 4294967295 134512640 134569956 3221224400 3221214592 1131554486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 35314 13073 16 0 210770 0
vsize: 843144
[startup+1130.16 s]
Raw data (loadavg): 1.06 0.99 0.91 2/64 8694
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 108610 81 0 0 25 0 11 0 490895515 863379456 35393 4294967295 134512640 134569956 3221224400 3221214696 1131592308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 35393 13073 16 0 210770 0
vsize: 843144
[startup+1140.16 s]
Raw data (loadavg): 1.05 0.99 0.91 2/64 8694
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 109569 81 0 0 24 0 11 0 490895515 863379456 35515 4294967295 134512640 134569956 3221224400 3221214504 1131228926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 35515 13073 16 0 210770 0
vsize: 843144
[startup+1150.16 s]
Raw data (loadavg): 1.04 0.99 0.91 2/64 8694
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 110539 81 0 0 25 0 11 0 490895515 863379456 35600 4294967295 134512640 134569956 3221224400 3221214640 1131567077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 35600 13073 16 0 210770 0
vsize: 843144
[startup+1160.16 s]
Raw data (loadavg): 1.03 0.99 0.91 2/64 8694
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 111510 81 0 0 25 0 11 0 490895515 863379456 35685 4294967295 134512640 134569956 3221224400 3221214696 1131592313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 35685 13073 16 0 210770 0
vsize: 843144
[startup+1170.16 s]
Raw data (loadavg): 1.03 0.99 0.91 2/64 8694
Raw data (stat): 8631 (java) S 8630 25285 25284 0 -1 0 18084 0 1 0 112476 81 0 0 25 0 11 0 490895515 863379456 35758 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 35758 13073 16 0 210770 0
vsize: 843144
[startup+1180.16 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 8694
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 113438 81 0 0 25 0 11 0 490895515 863379456 35865 4294967295 134512640 134569956 3221224400 3221214696 1131592326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 35865 13073 16 0 210770 0
vsize: 843144
[startup+1190.16 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 8696
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 114407 81 0 0 25 0 11 0 490895515 863379456 35945 4294967295 134512640 134569956 3221224400 3221214856 1131555661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 35945 13073 16 0 210770 0
vsize: 843144
[startup+1200.16 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 8696
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 115374 81 0 0 25 0 11 0 490895515 863379456 36052 4294967295 134512640 134569956 3221224400 3221214696 1131592308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 36052 13073 16 0 210770 0
vsize: 843144
[startup+1210.16 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 8696
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 116312 81 0 0 25 0 11 0 490895515 863379456 36284 4294967295 134512640 134569956 3221224400 3221214776 1131389023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 36284 13073 16 0 210770 0
vsize: 843144
[startup+1220.16 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 8696
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 117255 81 0 0 25 0 11 0 490895515 863379456 36387 4294967295 134512640 134569956 3221224400 3221214776 1131389218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210786 36387 13073 16 0 210770 0
vsize: 843144
[startup+1230.16 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 8696
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 118219 81 0 0 25 0 11 0 490895515 863379456 36503 4294967295 134512640 134569956 3221224400 3221214696 1131592315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 36503 13073 16 0 210770 0
vsize: 843144
[startup+1240.16 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 8696
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 119193 82 0 0 25 0 11 0 490895515 863379456 36581 4294967295 134512640 134569956 3221224400 3221214696 1131592304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 36581 13073 16 0 210770 0
vsize: 843144
[startup+1250.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 8696
Raw data (stat): 8631 (java) R 8630 25285 25284 0 -1 0 18084 0 1 0 120160 82 0 0 25 0 11 0 490895515 863379456 36731 4294967295 134512640 134569956 3221224400 3221214696 1131592313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210786 36731 13073 16 0 210770 0
vsize: 843144
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.26 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 8698
Raw data (stat): 8631 (java) Z 8630 25285 25284 0 -1 1036 18084 24295 1 0 120163 89 6018 54 25 0 1 0 490895515 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.26
CPU time (s): 1263.26
CPU user time (s): 1261.82
CPU system time (s): 1.43778
CPU usage (%): 101.04
Max. virtual memory (Kb): 843144
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####