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-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10a.opb
MD5SUM	133d42fd76e8bbd92509939943f41498
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	398336
Optimality of the best value was proved	NO
Number of terms in the objective function	2100
Biggest coefficient in the objective function	4718592
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	539671039
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	4718592
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	539671039
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	913.784
Number of variables	2100
Total number of constraints	120
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	120
Minimum length of a constraint	21
Maximum length of a constraint	200
Trace number 17705

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-21 11:27:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19197 boxname=wulflinc2 idbench=1477 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  133d42fd76e8bbd92509939943f41498  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-ran10x10a.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-ran10x10a.opb
IDLAUNCH: 19197
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        703040 kB
Buffers:         15744 kB
Cached:         294512 kB
SwapCached:        504 kB
Active:          47952 kB
Inactive:       264552 kB
HighTotal:      131008 kB
HighFree:        15092 kB
LowTotal:       903652 kB
LowFree:        687948 kB
SwapTotal:     2097136 kB
SwapFree:      2095900 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5712 kB
Slab:            13452 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 11:48:26 (client local time) WITH STATUS 143 IN 1246.32 SECONDS
stats: 19197 7 1246.32 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-ran10x10a.opb
c reading problem 
c [nbvar=2100]
c [nbconstr=120]
c time 4.75
c #vars     2100
c #clauses  140
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=734434
c Current CPU time (ms) : 15.207
c starts	: 1
c conflicts	: 8
c decisions	: 1862
c propagations	: 7001
c inspects	: 8427
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 8
c root simplifications	: 9
c 
c CURRENT OPTIMUM=734274
c Current CPU time (ms) : 22.409
c starts	: 2
c conflicts	: 9
c decisions	: 2081
c propagations	: 8184
c inspects	: 10292
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 9
c root simplifications	: 10
c 
c CURRENT OPTIMUM=595006
c Current CPU time (ms) : 32.623
c starts	: 3
c conflicts	: 12
c decisions	: 2828
c propagations	: 11446
c inspects	: 16842
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 12
c root simplifications	: 14
#### 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.73 0.91 0.90 2/54 26926
Raw data (stat): 26926 (runsolver) R 26925 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 486498455 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.0001 s]
Raw data (loadavg): 1.00 0.96 0.92 4/64 26936
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18061 0 1 0 661 39 0 0 25 0 11 0 486498455 862842880 20850 4294967295 134512640 134569956 3221224400 3221213784 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210655 20850 13073 16 0 210639 0
vsize: 842620
[startup+20.0294 s]
Raw data (loadavg): 1.16 0.99 0.93 3/64 26937
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18063 4 1 0 1603 39 0 0 25 0 11 0 486498455 861716480 21209 4294967295 134512640 134569956 3221224400 3221214568 1131398729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 21209 13073 16 0 210364 0
vsize: 841520
[startup+30.03 s]
Raw data (loadavg): 1.13 0.99 0.93 2/64 26938
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18064 4 1 0 2521 39 0 0 25 0 11 0 486498455 861716480 21337 4294967295 134512640 134569956 3221224400 3221214848 1131433648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 21337 13073 16 0 210364 0
vsize: 841520
[startup+40.0303 s]
Raw data (loadavg): 1.11 0.99 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18064 4 1 0 3452 39 0 0 25 0 11 0 486498455 861716480 21823 4294967295 134512640 134569956 3221224400 3221214672 1131223852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 21823 13073 16 0 210364 0
vsize: 841520
[startup+50.0314 s]
Raw data (loadavg): 1.09 0.99 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18065 4 1 0 4422 40 0 0 25 0 11 0 486498455 861716480 21892 4294967295 134512640 134569956 3221224400 3221214776 1131356255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 21892 13073 16 0 210364 0
vsize: 841520
[startup+60.0311 s]
Raw data (loadavg): 1.08 0.99 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18065 4 1 0 5401 40 0 0 25 0 11 0 486498455 861716480 21948 4294967295 134512640 134569956 3221224400 3221214552 1131532980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 21948 13073 16 0 210364 0
vsize: 841520
[startup+70.0314 s]
Raw data (loadavg): 1.15 1.01 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18065 4 1 0 6385 41 0 0 25 0 11 0 486498455 862765056 22361 4294967295 134512640 134569956 3221224400 3221214768 1131441331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210636 22361 13073 16 0 210620 0
vsize: 842544
[startup+80.0326 s]
Raw data (loadavg): 1.12 1.01 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18065 4 1 0 7369 41 0 0 25 0 11 0 486498455 861716480 22193 4294967295 134512640 134569956 3221224400 3221214776 1131358141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 22193 13073 16 0 210364 0
vsize: 841520
[startup+90.0333 s]
Raw data (loadavg): 1.10 1.01 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18065 4 1 0 8354 41 0 0 25 0 11 0 486498455 861716480 22208 4294967295 134512640 134569956 3221224400 3221214672 1131223781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 22208 13073 16 0 210364 0
vsize: 841520
[startup+100.034 s]
Raw data (loadavg): 1.09 1.01 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18065 4 1 0 9339 41 0 0 25 0 11 0 486498455 861716480 22219 4294967295 134512640 134569956 3221224400 3221214672 1131224827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22219 13073 16 0 210364 0
vsize: 841520
[startup+110.034 s]
Raw data (loadavg): 1.07 1.01 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18065 4 1 0 10327 41 0 0 25 0 11 0 486498455 861716480 22290 4294967295 134512640 134569956 3221224400 3221214776 1131356190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22290 13073 16 0 210364 0
vsize: 841520
[startup+120.034 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 11317 41 0 0 25 0 11 0 486498455 861716480 22312 4294967295 134512640 134569956 3221224400 3221214672 1131224443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22312 13073 16 0 210364 0
vsize: 841520
[startup+130.034 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 12308 41 0 0 25 0 11 0 486498455 861716480 22330 4294967295 134512640 134569956 3221224400 3221214672 1131224382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22330 13073 16 0 210364 0
vsize: 841520
[startup+140.035 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 13299 42 0 0 25 0 11 0 486498455 861716480 22362 4294967295 134512640 134569956 3221224400 3221214776 1131356183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22362 13073 16 0 210364 0
vsize: 841520
[startup+150.036 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 14289 42 0 0 25 0 11 0 486498455 861716480 22382 4294967295 134512640 134569956 3221224400 3221214776 1131356144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22382 13073 16 0 210364 0
vsize: 841520
[startup+160.036 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 15280 43 0 0 25 0 11 0 486498455 861716480 22407 4294967295 134512640 134569956 3221224400 3221214672 1131224187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22407 13073 16 0 210364 0
vsize: 841520
[startup+170.036 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 16271 43 0 0 25 0 11 0 486498455 861716480 22436 4294967295 134512640 134569956 3221224400 3221214672 1131224683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22436 13073 16 0 210364 0
vsize: 841520
[startup+180.036 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 17262 43 0 0 25 0 11 0 486498455 861716480 22453 4294967295 134512640 134569956 3221224400 3221214776 1131356190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22453 13073 16 0 210364 0
vsize: 841520
[startup+190.036 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 18253 43 0 0 25 0 11 0 486498455 861716480 22468 4294967295 134512640 134569956 3221224400 3221214672 1131223946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22468 13073 16 0 210364 0
vsize: 841520
[startup+200.036 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 19244 44 0 0 25 0 11 0 486498455 861716480 22510 4294967295 134512640 134569956 3221224400 3221214672 1131224561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22510 13073 16 0 210364 0
vsize: 841520
[startup+210.036 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 20234 44 0 0 25 0 11 0 486498455 861716480 22422 4294967295 134512640 134569956 3221224400 3221214672 1131223788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22422 13073 16 0 210364 0
vsize: 841520
[startup+220.037 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 21214 45 0 0 25 0 11 0 486498455 861716480 22476 4294967295 134512640 134569956 3221224400 3221214672 1131224210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22476 13073 16 0 210364 0
vsize: 841520
[startup+230.037 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 22203 45 0 0 25 0 11 0 486498455 861716480 22485 4294967295 134512640 134569956 3221224400 3221214672 1131224146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22485 13073 16 0 210364 0
vsize: 841520
[startup+240.038 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 23190 46 0 0 25 0 11 0 486498455 861716480 22520 4294967295 134512640 134569956 3221224400 3221214560 1131262561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22520 13073 16 0 210364 0
vsize: 841520
[startup+250.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 24178 46 0 0 25 0 11 0 486498455 861716480 22553 4294967295 134512640 134569956 3221224400 3221214672 1131224410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22553 13073 16 0 210364 0
vsize: 841520
[startup+260.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 25165 47 0 0 24 0 11 0 486498455 861716480 22597 4294967295 134512640 134569956 3221224400 3221214672 1131224187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22597 13073 16 0 210364 0
vsize: 841520
[startup+270.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 26154 47 0 0 25 0 11 0 486498455 861716480 22626 4294967295 134512640 134569956 3221224400 3221214776 1131357274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22626 13073 16 0 210364 0
vsize: 841520
[startup+280.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 27141 48 0 0 25 0 11 0 486498455 861716480 22654 4294967295 134512640 134569956 3221224400 3221214660 1131375200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22654 13073 16 0 210364 0
vsize: 841520
[startup+290.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 28128 48 0 0 25 0 11 0 486498455 861716480 22684 4294967295 134512640 134569956 3221224400 3221214560 1131262433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22684 13073 16 0 210364 0
vsize: 841520
[startup+300.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 29114 49 0 0 25 0 11 0 486498455 861716480 22711 4294967295 134512640 134569956 3221224400 3221214664 1131604643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22711 13073 16 0 210364 0
vsize: 841520
[startup+310.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 30100 49 0 0 25 0 11 0 486498455 861716480 22756 4294967295 134512640 134569956 3221224400 3221214672 1131224187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22756 13073 16 0 210364 0
vsize: 841520
[startup+320.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 31085 49 0 0 25 0 11 0 486498455 861716480 22818 4294967295 134512640 134569956 3221224400 3221214776 1131357278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22818 13073 16 0 210364 0
vsize: 841520
[startup+330.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 32073 49 0 0 25 0 11 0 486498455 861716480 22861 4294967295 134512640 134569956 3221224400 3221214672 1131224428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22861 13073 16 0 210364 0
vsize: 841520
[startup+340.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 33058 50 0 0 25 0 11 0 486498455 861716480 22901 4294967295 134512640 134569956 3221224400 3221214848 1131343632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22901 13073 16 0 210364 0
vsize: 841520
[startup+350.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 34047 50 0 0 25 0 11 0 486498455 861716480 22934 4294967295 134512640 134569956 3221224400 3221214664 1131604583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22934 13073 16 0 210364 0
vsize: 841520
[startup+360.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 35032 50 0 0 24 0 11 0 486498455 861716480 22976 4294967295 134512640 134569956 3221224400 3221214672 1131223841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 22976 13073 16 0 210364 0
vsize: 841520
[startup+370.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 36021 50 0 0 25 0 11 0 486498455 861716480 23008 4294967295 134512640 134569956 3221224400 3221214672 1131224187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 23008 13073 16 0 210364 0
vsize: 841520
[startup+380.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 37005 51 0 0 25 0 11 0 486498455 861716480 23059 4294967295 134512640 134569956 3221224400 3221214664 1131604636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 23059 13073 16 0 210364 0
vsize: 841520
[startup+390.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 37994 51 0 0 25 0 11 0 486498455 861716480 23099 4294967295 134512640 134569956 3221224400 3221214552 1131533988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 23099 13073 16 0 210364 0
vsize: 841520
[startup+400.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 38980 51 0 0 25 0 11 0 486498455 861716480 23144 4294967295 134512640 134569956 3221224400 3221214672 1131223790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 23144 13073 16 0 210364 0
vsize: 841520
[startup+410.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 39970 51 0 0 25 0 11 0 486498455 861716480 23187 4294967295 134512640 134569956 3221224400 3221213920 1077378150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 23187 13073 16 0 210364 0
vsize: 841520
[startup+420.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18066 4 1 0 40957 51 0 0 25 0 11 0 486498455 861716480 23213 4294967295 134512640 134569956 3221224400 3221214560 1131262747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 23213 13073 16 0 210364 0
vsize: 841520
[startup+430.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 41945 51 0 0 25 0 11 0 486498455 861716480 23270 4294967295 134512640 134569956 3221224400 3221214664 1131616135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 23270 13073 16 0 210364 0
vsize: 841520
[startup+440.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 42932 51 0 0 25 0 11 0 486498455 861716480 23312 4294967295 134512640 134569956 3221224400 3221214776 1131359004 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 23312 13073 16 0 210364 0
vsize: 841520
[startup+450.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 43921 51 0 0 25 0 11 0 486498455 861716480 23363 4294967295 134512640 134569956 3221224400 3221214672 1131223781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 23363 13073 16 0 210364 0
vsize: 841520
[startup+460.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 44906 52 0 0 25 0 11 0 486498455 861716480 23408 4294967295 134512640 134569956 3221224400 3221214672 1131223796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 23408 13073 16 0 210364 0
vsize: 841520
[startup+470.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 45896 52 0 0 25 0 11 0 486498455 861716480 23451 4294967295 134512640 134569956 3221224400 3221214672 1131224092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 23451 13073 16 0 210364 0
vsize: 841520
[startup+480.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 46881 52 0 0 25 0 11 0 486498455 861716480 23499 4294967295 134512640 134569956 3221224400 3221214664 1131604621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 23499 13073 16 0 210364 0
vsize: 841520
[startup+490.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 47870 52 0 0 25 0 11 0 486498455 861716480 23543 4294967295 134512640 134569956 3221224400 3221214672 1131224886 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 23543 13073 16 0 210364 0
vsize: 841520
[startup+500.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 48854 52 0 0 25 0 11 0 486498455 861716480 23602 4294967295 134512640 134569956 3221224400 3221214664 1131604512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 23602 13073 16 0 210364 0
vsize: 841520
[startup+510.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 49842 52 0 0 25 0 11 0 486498455 861716480 23653 4294967295 134512640 134569956 3221224400 3221214608 1131524135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 23653 13073 16 0 210364 0
vsize: 841520
[startup+520.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 50828 52 0 0 24 0 11 0 486498455 861716480 23708 4294967295 134512640 134569956 3221224400 3221214552 1131533144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 23708 13073 16 0 210364 0
vsize: 841520
[startup+530.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 51816 52 0 0 24 0 11 0 486498455 861716480 23758 4294967295 134512640 134569956 3221224400 3221214672 1131224428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 23758 13073 16 0 210364 0
vsize: 841520
[startup+540.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 52803 52 0 0 25 0 11 0 486498455 861716480 23804 4294967295 134512640 134569956 3221224400 3221214776 1131357182 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 23804 13073 16 0 210364 0
vsize: 841520
[startup+550.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 53791 52 0 0 25 0 11 0 486498455 861716480 23843 4294967295 134512640 134569956 3221224400 3221214672 1131224187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 23843 13073 16 0 210364 0
vsize: 841520
[startup+560.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 54778 52 0 0 25 0 11 0 486498455 861716480 23899 4294967295 134512640 134569956 3221224400 3221214672 1131224287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 23899 13073 16 0 210364 0
vsize: 841520
[startup+570.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 55765 52 0 0 25 0 11 0 486498455 861716480 23941 4294967295 134512640 134569956 3221224400 3221214552 1131533021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 23941 13073 16 0 210364 0
vsize: 841520
[startup+580.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 56753 52 0 0 25 0 11 0 486498455 861716480 23976 4294967295 134512640 134569956 3221224400 3221214672 1131224187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 23976 13073 16 0 210364 0
vsize: 841520
[startup+590.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 57738 53 0 0 25 0 11 0 486498455 861716480 24048 4294967295 134512640 134569956 3221224400 3221214672 1131223991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24048 13073 16 0 210364 0
vsize: 841520
[startup+600.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 58724 53 0 0 25 0 11 0 486498455 861716480 24067 4294967295 134512640 134569956 3221224400 3221214664 1131616260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24067 13073 16 0 210364 0
vsize: 841520
[startup+610.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 59710 54 0 0 25 0 11 0 486498455 861716480 24112 4294967295 134512640 134569956 3221224400 3221214672 1131224129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24112 13073 16 0 210364 0
vsize: 841520
[startup+620.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 60695 54 0 0 25 0 11 0 486498455 861716480 24161 4294967295 134512640 134569956 3221224400 3221214552 1131533194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24161 13073 16 0 210364 0
vsize: 841520
[startup+630.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 61682 54 0 0 25 0 11 0 486498455 861716480 24206 4294967295 134512640 134569956 3221224400 3221214672 1131223983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24206 13073 16 0 210364 0
vsize: 841520
[startup+640.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 62665 54 0 0 25 0 11 0 486498455 861716480 24271 4294967295 134512640 134569956 3221224400 3221214672 1131223905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24271 13073 16 0 210364 0
vsize: 841520
[startup+650.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 63652 54 0 0 25 0 11 0 486498455 861716480 24330 4294967295 134512640 134569956 3221224400 3221214584 1131560469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24330 13073 16 0 210364 0
vsize: 841520
[startup+660.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 64638 55 0 0 25 0 11 0 486498455 861716480 24378 4294967295 134512640 134569956 3221224400 3221214632 1131224146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24378 13073 16 0 210364 0
vsize: 841520
[startup+670.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 65625 55 0 0 25 0 11 0 486498455 861716480 24423 4294967295 134512640 134569956 3221224400 3221214472 1131403652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24423 13073 16 0 210364 0
vsize: 841520
[startup+680.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 66611 56 0 0 25 0 11 0 486498455 861716480 24464 4294967295 134512640 134569956 3221224400 3221214632 1131223806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24464 13073 16 0 210364 0
vsize: 841520
[startup+690.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 67597 56 0 0 25 0 11 0 486498455 861716480 24508 4294967295 134512640 134569956 3221224400 3221214572 1131629456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24508 13073 16 0 210364 0
vsize: 841520
[startup+700.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 68583 56 0 0 25 0 11 0 486498455 861716480 24558 4294967295 134512640 134569956 3221224400 3221214632 1131224426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24558 13073 16 0 210364 0
vsize: 841520
[startup+710.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 69568 57 0 0 25 0 11 0 486498455 861716480 24604 4294967295 134512640 134569956 3221224400 3221214632 1131224187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24604 13073 16 0 210364 0
vsize: 841520
[startup+720.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 70554 57 0 0 25 0 11 0 486498455 861716480 24640 4294967295 134512640 134569956 3221224400 3221214632 1131224112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24640 13073 16 0 210364 0
vsize: 841520
[startup+730.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 71541 57 0 0 25 0 11 0 486498455 861716480 24691 4294967295 134512640 134569956 3221224400 3221214632 1131224187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24691 13073 16 0 210364 0
vsize: 841520
[startup+740.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 72526 57 0 0 24 0 11 0 486498455 861716480 24716 4294967295 134512640 134569956 3221224400 3221214632 1131223788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24716 13073 16 0 210364 0
vsize: 841520
[startup+750.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 73512 58 0 0 25 0 11 0 486498455 861716480 24751 4294967295 134512640 134569956 3221224400 3221214736 1131359706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24751 13073 16 0 210364 0
vsize: 841520
[startup+760.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 74498 58 0 0 25 0 11 0 486498455 861716480 24787 4294967295 134512640 134569956 3221224400 3221214632 1131224172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24787 13073 16 0 210364 0
vsize: 841520
[startup+770.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 75485 58 0 0 25 0 11 0 486498455 861716480 24825 4294967295 134512640 134569956 3221224400 3221214736 1131355995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24825 13073 16 0 210364 0
vsize: 841520
[startup+780.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 76470 59 0 0 25 0 11 0 486498455 861716480 24857 4294967295 134512640 134569956 3221224400 3221214736 1131358926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24857 13073 16 0 210364 0
vsize: 841520
[startup+790.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 77456 59 0 0 25 0 11 0 486498455 861716480 24886 4294967295 134512640 134569956 3221224400 3221214632 1131350662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24886 13073 16 0 210364 0
vsize: 841520
[startup+800.066 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 78441 59 0 0 25 0 11 0 486498455 861716480 24927 4294967295 134512640 134569956 3221224400 3221214736 1131355884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24927 13073 16 0 210364 0
vsize: 841520
[startup+810.066 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 79426 60 0 0 24 0 11 0 486498455 861716480 24974 4294967295 134512640 134569956 3221224400 3221214736 1131358998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 24974 13073 16 0 210364 0
vsize: 841520
[startup+820.067 s]
Raw data (loadavg): 1.06 1.01 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 80411 60 0 0 25 0 11 0 486498455 861716480 25010 4294967295 134512640 134569956 3221224400 3221214632 1131224187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25010 13073 16 0 210364 0
vsize: 841520
[startup+830.067 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 81398 60 0 0 25 0 11 0 486498455 861716480 25058 4294967295 134512640 134569956 3221224400 3221214632 1131223773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25058 13073 16 0 210364 0
vsize: 841520
[startup+840.068 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 82382 61 0 0 25 0 11 0 486498455 861716480 25098 4294967295 134512640 134569956 3221224400 3221214472 1131262691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25098 13073 16 0 210364 0
vsize: 841520
[startup+850.068 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 83367 61 0 0 25 0 11 0 486498455 861716480 25149 4294967295 134512640 134569956 3221224400 3221214736 1131359510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25149 13073 16 0 210364 0
vsize: 841520
[startup+860.068 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 84352 62 0 0 25 0 11 0 486498455 861716480 25182 4294967295 134512640 134569956 3221224400 3221214632 1131223773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25182 13073 16 0 210364 0
vsize: 841520
[startup+870.069 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 85336 62 0 0 25 0 11 0 486498455 861716480 25222 4294967295 134512640 134569956 3221224400 3221214632 1131223773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25222 13073 16 0 210364 0
vsize: 841520
[startup+880.069 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 86319 62 0 0 24 0 11 0 486498455 861716480 25302 4294967295 134512640 134569956 3221224400 3221214632 1131223849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25302 13073 16 0 210364 0
vsize: 841520
[startup+890.072 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 87305 63 0 0 25 0 11 0 486498455 861716480 25339 4294967295 134512640 134569956 3221224400 3221214736 1131360095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25339 13073 16 0 210364 0
vsize: 841520
[startup+900.073 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 88289 64 0 0 25 0 11 0 486498455 861716480 25400 4294967295 134512640 134569956 3221224400 3221214736 1131358040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25400 13073 16 0 210364 0
vsize: 841520
[startup+910.072 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 89275 64 0 0 25 0 11 0 486498455 861716480 25449 4294967295 134512640 134569956 3221224400 3221214632 1131223875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25449 13073 16 0 210364 0
vsize: 841520
[startup+920.076 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 90260 64 0 0 25 0 11 0 486498455 861716480 25496 4294967295 134512640 134569956 3221224400 3221214736 1131355995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25496 13073 16 0 210364 0
vsize: 841520
[startup+930.077 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 91246 65 0 0 25 0 11 0 486498455 861716480 25555 4294967295 134512640 134569956 3221224400 3221214632 1131223781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25555 13073 16 0 210364 0
vsize: 841520
[startup+940.077 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 92231 65 0 0 25 0 11 0 486498455 861716480 25596 4294967295 134512640 134569956 3221224400 3221214472 1131262744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25596 13073 16 0 210364 0
vsize: 841520
[startup+950.078 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) S 26925 20937 20936 0 -1 0 18067 4 1 0 93217 65 0 0 25 0 11 0 486498455 861716480 25637 4294967295 134512640 134569956 3221224400 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25637 13073 16 0 210364 0
vsize: 841520
[startup+960.077 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 94204 66 0 0 25 0 11 0 486498455 861716480 25664 4294967295 134512640 134569956 3221224400 3221214576 1131629457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25664 13073 16 0 210364 0
vsize: 841520
[startup+970.078 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 95189 66 0 0 24 0 11 0 486498455 861716480 25690 4294967295 134512640 134569956 3221224400 3221214736 1131357136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25690 13073 16 0 210364 0
vsize: 841520
[startup+980.079 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 96175 66 0 0 25 0 11 0 486498455 861716480 25732 4294967295 134512640 134569956 3221224400 3221214632 1131223837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25732 13073 16 0 210364 0
vsize: 841520
[startup+990.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 97160 67 0 0 25 0 11 0 486498455 861716480 25763 4294967295 134512640 134569956 3221224400 3221214632 1131223788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25763 13073 16 0 210364 0
vsize: 841520
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 98146 68 0 0 25 0 11 0 486498455 861716480 25800 4294967295 134512640 134569956 3221224400 3221214632 1131224146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25800 13073 16 0 210364 0
vsize: 841520
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 99132 68 0 0 25 0 11 0 486498455 861716480 25845 4294967295 134512640 134569956 3221224400 3221214736 1131358863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25845 13073 16 0 210364 0
vsize: 841520
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 100116 69 0 0 25 0 11 0 486498455 861716480 25874 4294967295 134512640 134569956 3221224400 3221214632 1131224827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25874 13073 16 0 210364 0
vsize: 841520
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 101103 70 0 0 25 0 11 0 486498455 861716480 25907 4294967295 134512640 134569956 3221224400 3221214736 1131358060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25907 13073 16 0 210364 0
vsize: 841520
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 102091 70 0 0 25 0 11 0 486498455 861716480 25939 4294967295 134512640 134569956 3221224400 3221214632 1131224239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25939 13073 16 0 210364 0
vsize: 841520
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 103078 70 0 0 25 0 11 0 486498455 861716480 25969 4294967295 134512640 134569956 3221224400 3221214632 1131224187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25969 13073 16 0 210364 0
vsize: 841520
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 104065 71 0 0 25 0 11 0 486498455 861716480 25991 4294967295 134512640 134569956 3221224400 3221214632 1131223777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 25991 13073 16 0 210364 0
vsize: 841520
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 105051 71 0 0 25 0 11 0 486498455 861716480 26022 4294967295 134512640 134569956 3221224400 3221214736 1131357182 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 26022 13073 16 0 210364 0
vsize: 841520
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 106037 72 0 0 25 0 11 0 486498455 861716480 26046 4294967295 134512640 134569956 3221224400 3221214632 1131224827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 26046 13073 16 0 210364 0
vsize: 841520
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 107025 73 0 0 25 0 11 0 486498455 861716480 26094 4294967295 134512640 134569956 3221224400 3221214632 1131223927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 26094 13073 16 0 210364 0
vsize: 841520
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 108013 73 0 0 25 0 11 0 486498455 861716480 26116 4294967295 134512640 134569956 3221224400 3221214632 1131223773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 26116 13073 16 0 210364 0
vsize: 841520
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 108999 74 0 0 24 0 11 0 486498455 861716480 26131 4294967295 134512640 134569956 3221224400 3221214632 1131223777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 26131 13073 16 0 210364 0
vsize: 841520
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 109987 74 0 0 25 0 11 0 486498455 861716480 26154 4294967295 134512640 134569956 3221224400 3221214632 1131224378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 26154 13073 16 0 210364 0
vsize: 841520
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 110975 74 0 0 25 0 11 0 486498455 861716480 26185 4294967295 134512640 134569956 3221224400 3221214312 1131630716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 26185 13073 16 0 210364 0
vsize: 841520
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 111962 75 0 0 25 0 11 0 486498455 861716480 26204 4294967295 134512640 134569956 3221224400 3221214632 1131223806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 26204 13073 16 0 210364 0
vsize: 841520
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 112948 76 0 0 25 0 11 0 486498455 861716480 26225 4294967295 134512640 134569956 3221224400 3221214632 1131224827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 26225 13073 16 0 210364 0
vsize: 841520
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 113934 76 0 0 25 0 11 0 486498455 861716480 26242 4294967295 134512640 134569956 3221224400 3221214736 1131358886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 26242 13073 16 0 210364 0
vsize: 841520
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 114919 77 0 0 25 0 11 0 486498455 861716480 26287 4294967295 134512640 134569956 3221224400 3221214632 1131224187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 26287 13073 16 0 210364 0
vsize: 841520
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 115906 77 0 0 25 0 11 0 486498455 861716480 26321 4294967295 134512640 134569956 3221224400 3221214736 1131357406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 26321 13073 16 0 210364 0
vsize: 841520
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 116893 77 0 0 25 0 11 0 486498455 861716480 26370 4294967295 134512640 134569956 3221224400 3221214632 1131224370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 26370 13073 16 0 210364 0
vsize: 841520
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 117880 78 0 0 25 0 11 0 486498455 861716480 26398 4294967295 134512640 134569956 3221224400 3221214632 1131223946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 26398 13073 16 0 210364 0
vsize: 841520
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 118867 79 0 0 25 0 11 0 486498455 861716480 26417 4294967295 134512640 134569956 3221224400 3221214912 1131669140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 26417 13073 16 0 210364 0
vsize: 841520
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 119852 79 0 0 24 0 11 0 486498455 861716480 26457 4294967295 134512640 134569956 3221224400 3221214736 1131358169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 26457 13073 16 0 210364 0
vsize: 841520
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 20937 20936 0 -1 0 18067 4 1 0 120838 80 0 0 25 0 11 0 486498455 861716480 26478 4294967295 134512640 134569956 3221224400 3221214632 1131224258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210380 26478 13073 16 0 210364 0
vsize: 841520
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.18 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 26941
Raw data (stat): 26926 (java) Z 26925 20937 20936 0 -1 1036 18067 19554 1 0 120841 84 3647 57 25 0 1 0 486498455 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.18
CPU time (s): 1246.32
CPU user time (s): 1244.9
CPU system time (s): 1.42478
CPU usage (%): 101.312
Max. virtual memory (Kb): 842620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####