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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370e.opb
MD5SUM	aadb0de5eaca616b889c1e61e0fb0b70
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29700464693312
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29700464693312
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.46178
Number of variables	155000
Total number of constraints	5150
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	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 20895

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        429488 kB
Buffers:         26276 kB
Cached:         552472 kB
SwapCached:        408 kB
Active:         153380 kB
Inactive:       427988 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        429236 kB
SwapTotal:     2097892 kB
SwapFree:      2097056 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5860 kB
Slab:            18216 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 22:29:21 (client local time) WITH STATUS 143 IN 1310.22 SECONDS
stats: 14192 7 1310.22 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-n370e.opb
c reading problem 
c [nbvar=155000]
c [nbconstr=5150]
#### 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.86 0.97 0.93 2/55 6232
Raw data (stat): 6232 (runsolver) R 6231 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548563959 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.0006 s]
Raw data (loadavg): 0.88 0.97 0.93 2/64 6241
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 885 39 0 0 25 0 10 0 548563959 853331968 19185 4294967295 134512640 134569956 3221224400 3221214468 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208333 19185 13073 16 0 208317 0
vsize: 833332
[startup+20.0043 s]
Raw data (loadavg): 0.97 0.99 0.94 2/64 6241
Raw data (stat): 6232 (java) S 6231 20838 20837 0 -1 0 17982 0 1 0 1779 39 0 0 25 0 10 0 548563959 854237184 19756 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 19756 13073 16 0 208538 0
vsize: 834216
[startup+30.0038 s]
Raw data (loadavg): 0.98 0.99 0.94 2/64 6241
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 2679 40 0 0 25 0 10 0 548563959 854237184 20168 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 20168 13073 16 0 208538 0
vsize: 834216
[startup+40.008 s]
Raw data (loadavg): 0.98 0.99 0.94 2/64 6241
Raw data (stat): 6232 (java) S 6231 20838 20837 0 -1 0 17982 0 1 0 3608 40 0 0 25 0 10 0 548563959 854237184 20395 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 20395 13073 16 0 208538 0
vsize: 834216
[startup+50.009 s]
Raw data (loadavg): 0.98 0.99 0.94 2/64 6241
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 4537 40 0 0 25 0 10 0 548563959 854237184 20512 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 20512 13073 16 0 208538 0
vsize: 834216
[startup+60.0096 s]
Raw data (loadavg): 0.98 0.99 0.94 2/64 6241
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 5467 40 0 0 25 0 10 0 548563959 854237184 20694 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 20694 13073 16 0 208538 0
vsize: 834216
[startup+70.0097 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6241
Raw data (stat): 6232 (java) S 6231 20838 20837 0 -1 0 17982 0 1 0 6409 40 0 0 25 0 10 0 548563959 854237184 20874 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 20875 13073 16 0 208538 0
vsize: 834216
[startup+80.0118 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6241
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 7357 40 0 0 25 0 10 0 548563959 854237184 20953 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 20953 13073 16 0 208538 0
vsize: 834216
[startup+90.0131 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6241
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 8303 40 0 0 25 0 10 0 548563959 854237184 21026 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 21026 13073 16 0 208538 0
vsize: 834216
[startup+100.014 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 9250 41 0 0 25 0 10 0 548563959 854237184 21093 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 21093 13073 16 0 208538 0
vsize: 834216
[startup+110.015 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 10199 41 0 0 25 0 10 0 548563959 854237184 21153 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 21153 13073 16 0 208538 0
vsize: 834216
[startup+120.015 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 11147 41 0 0 25 0 10 0 548563959 854237184 21212 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 21212 13073 16 0 208538 0
vsize: 834216
[startup+130.015 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 12094 41 0 0 25 0 10 0 548563959 854237184 21269 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 21269 13073 16 0 208538 0
vsize: 834216
[startup+140.016 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 13040 42 0 0 25 0 10 0 548563959 854237184 21323 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 21323 13073 16 0 208538 0
vsize: 834216
[startup+150.022 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) S 6231 20838 20837 0 -1 0 17982 0 1 0 13990 42 0 0 25 0 10 0 548563959 854237184 21373 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 21373 13073 16 0 208538 0
vsize: 834216
[startup+160.023 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 14937 42 0 0 25 0 10 0 548563959 854237184 21423 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 21423 13073 16 0 208538 0
vsize: 834216
[startup+170.023 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 15867 42 0 0 25 0 10 0 548563959 854237184 21471 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 21471 13073 16 0 208538 0
vsize: 834216
[startup+180.023 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 16794 42 0 0 25 0 10 0 548563959 854237184 21515 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 21515 13073 16 0 208538 0
vsize: 834216
[startup+190.037 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 17731 42 0 0 25 0 10 0 548563959 854237184 21817 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 21817 13073 16 0 208538 0
vsize: 834216
[startup+200.037 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 18673 42 0 0 24 0 10 0 548563959 854237184 21860 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 21860 13073 16 0 208538 0
vsize: 834216
[startup+210.039 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 19619 42 0 0 25 0 10 0 548563959 854237184 21901 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 21901 13073 16 0 208538 0
vsize: 834216
[startup+220.039 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 20559 42 0 0 25 0 10 0 548563959 854237184 21943 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 21943 13073 16 0 208538 0
vsize: 834216
[startup+230.039 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 21500 42 0 0 25 0 10 0 548563959 854237184 21984 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 21984 13073 16 0 208538 0
vsize: 834216
[startup+240.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) S 6231 20838 20837 0 -1 0 17982 0 1 0 22442 42 0 0 25 0 10 0 548563959 854237184 22021 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22021 13073 16 0 208538 0
vsize: 834216
[startup+250.041 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 23383 42 0 0 25 0 10 0 548563959 854237184 22059 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22059 13073 16 0 208538 0
vsize: 834216
[startup+260.042 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 24322 42 0 0 25 0 10 0 548563959 854237184 22097 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22097 13073 16 0 208538 0
vsize: 834216
[startup+270.043 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 25261 42 0 0 24 0 10 0 548563959 854237184 22135 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22135 13073 16 0 208538 0
vsize: 834216
[startup+280.043 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 26203 42 0 0 25 0 10 0 548563959 854237184 22170 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22170 13073 16 0 208538 0
vsize: 834216
[startup+290.044 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 27141 42 0 0 25 0 10 0 548563959 854237184 22206 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22206 13073 16 0 208538 0
vsize: 834216
[startup+300.043 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 28078 43 0 0 24 0 10 0 548563959 854237184 22242 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22242 13073 16 0 208538 0
vsize: 834216
[startup+310.044 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 29018 43 0 0 25 0 10 0 548563959 854237184 22275 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22275 13073 16 0 208538 0
vsize: 834216
[startup+320.044 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 29954 43 0 0 25 0 10 0 548563959 854237184 22309 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22309 13073 16 0 208538 0
vsize: 834216
[startup+330.049 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) S 6231 20838 20837 0 -1 0 17982 0 1 0 30893 43 0 0 25 0 10 0 548563959 854237184 22342 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22342 13073 16 0 208538 0
vsize: 834216
[startup+340.049 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 31829 43 0 0 25 0 10 0 548563959 854237184 22374 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22374 13073 16 0 208538 0
vsize: 834216
[startup+350.049 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 32764 43 0 0 25 0 10 0 548563959 854237184 22407 4294967295 134512640 134569956 3221224400 3221214768 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22407 13073 16 0 208538 0
vsize: 834216
[startup+360.05 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 33702 44 0 0 25 0 10 0 548563959 854237184 22439 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22439 13073 16 0 208538 0
vsize: 834216
[startup+370.05 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 34636 44 0 0 25 0 10 0 548563959 854237184 22470 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22470 13073 16 0 208538 0
vsize: 834216
[startup+380.052 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) S 6231 20838 20837 0 -1 0 17982 0 1 0 35570 44 0 0 25 0 10 0 548563959 854237184 22501 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22501 13073 16 0 208538 0
vsize: 834216
[startup+390.053 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6243
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 36507 44 0 0 25 0 10 0 548563959 854237184 22531 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22531 13073 16 0 208538 0
vsize: 834216
[startup+400.054 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 37439 44 0 0 24 0 10 0 548563959 854237184 22562 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22562 13073 16 0 208538 0
vsize: 834216
[startup+410.054 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 38374 44 0 0 25 0 10 0 548563959 854237184 22590 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22590 13073 16 0 208538 0
vsize: 834216
[startup+420.054 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 39306 44 0 0 20 0 10 0 548563959 854237184 22620 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22620 13073 16 0 208538 0
vsize: 834216
[startup+430.056 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 40241 44 0 0 25 0 10 0 548563959 854237184 22647 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22647 13073 16 0 208538 0
vsize: 834216
[startup+440.056 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 41172 44 0 0 25 0 10 0 548563959 854237184 22676 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22676 13073 16 0 208538 0
vsize: 834216
[startup+450.056 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 42106 44 0 0 25 0 10 0 548563959 854237184 22703 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22703 13073 16 0 208538 0
vsize: 834216
[startup+460.056 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 43035 45 0 0 25 0 10 0 548563959 854237184 22732 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22732 13073 16 0 208538 0
vsize: 834216
[startup+470.057 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 43969 45 0 0 25 0 10 0 548563959 854237184 22758 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22758 13073 16 0 208538 0
vsize: 834216
[startup+480.056 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 44897 45 0 0 25 0 10 0 548563959 854237184 22786 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22786 13073 16 0 208538 0
vsize: 834216
[startup+490.057 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 45829 45 0 0 25 0 10 0 548563959 854237184 22812 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22812 13073 16 0 208538 0
vsize: 834216
[startup+500.057 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 46757 45 0 0 25 0 10 0 548563959 854237184 22839 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22839 13073 16 0 208538 0
vsize: 834216
[startup+510.058 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 47689 45 0 0 25 0 10 0 548563959 854237184 22864 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22864 13073 16 0 208538 0
vsize: 834216
[startup+520.059 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 48616 45 0 0 24 0 10 0 548563959 854237184 22891 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22891 13073 16 0 208538 0
vsize: 834216
[startup+530.059 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 49547 45 0 0 25 0 10 0 548563959 854237184 22915 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22915 13073 16 0 208538 0
vsize: 834216
[startup+540.06 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 50473 45 0 0 24 0 10 0 548563959 854237184 22943 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22943 13073 16 0 208538 0
vsize: 834216
[startup+550.06 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 51402 45 0 0 25 0 10 0 548563959 854237184 22967 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22967 13073 16 0 208538 0
vsize: 834216
[startup+560.06 s]
Raw data (loadavg): 0.99 0.99 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 52331 46 0 0 25 0 10 0 548563959 854237184 22991 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 22991 13073 16 0 208538 0
vsize: 834216
[startup+570.061 s]
Raw data (loadavg): 1.07 1.00 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 53256 46 0 0 25 0 10 0 548563959 854237184 23016 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 23016 13073 16 0 208538 0
vsize: 834216
[startup+580.062 s]
Raw data (loadavg): 1.06 1.00 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 54185 46 0 0 25 0 10 0 548563959 854237184 23040 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 23040 13073 16 0 208538 0
vsize: 834216
[startup+590.063 s]
Raw data (loadavg): 1.05 1.00 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 55108 46 0 0 24 0 10 0 548563959 854237184 23065 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 23065 13073 16 0 208538 0
vsize: 834216
[startup+600.063 s]
Raw data (loadavg): 1.04 1.00 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 56036 46 0 0 25 0 10 0 548563959 854237184 23088 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 23088 13073 16 0 208538 0
vsize: 834216
[startup+610.064 s]
Raw data (loadavg): 1.03 1.00 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 56964 47 0 0 25 0 10 0 548563959 854237184 23111 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 23111 13073 16 0 208538 0
vsize: 834216
[startup+620.064 s]
Raw data (loadavg): 1.03 1.00 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 57887 47 0 0 24 0 10 0 548563959 854237184 23135 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 23135 13073 16 0 208538 0
vsize: 834216
[startup+630.065 s]
Raw data (loadavg): 1.02 1.00 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 58814 47 0 0 25 0 10 0 548563959 854237184 23158 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 23158 13073 16 0 208538 0
vsize: 834216
[startup+640.066 s]
Raw data (loadavg): 1.02 1.00 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 59740 47 0 0 25 0 10 0 548563959 854237184 23180 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 23180 13073 16 0 208538 0
vsize: 834216
[startup+650.066 s]
Raw data (loadavg): 1.02 1.00 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 60662 47 0 0 24 0 10 0 548563959 854237184 23208 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 23208 13073 16 0 208538 0
vsize: 834216
[startup+660.066 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 61583 47 0 0 25 0 10 0 548563959 854237184 24236 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24236 13073 16 0 208538 0
vsize: 834216
[startup+670.067 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 62505 47 0 0 25 0 10 0 548563959 854237184 24236 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24236 13073 16 0 208538 0
vsize: 834216
[startup+680.067 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 63421 47 0 0 25 0 10 0 548563959 854237184 24267 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24267 13073 16 0 208538 0
vsize: 834216
[startup+690.068 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 6245
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 64337 47 0 0 25 0 10 0 548563959 854237184 24292 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24292 13073 16 0 208538 0
vsize: 834216
[startup+700.076 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 65253 48 0 0 25 0 10 0 548563959 854237184 24319 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24319 13073 16 0 208538 0
vsize: 834216
[startup+710.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) S 6231 20838 20837 0 -1 0 17982 0 1 0 66164 48 0 0 25 0 10 0 548563959 854237184 24343 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24343 13073 16 0 208538 0
vsize: 834216
[startup+720.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 67078 48 0 0 25 0 10 0 548563959 854237184 24372 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24372 13073 16 0 208538 0
vsize: 834216
[startup+730.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 67993 48 0 0 25 0 10 0 548563959 854237184 24393 4294967295 134512640 134569956 3221224400 3221214804 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24393 13073 16 0 208538 0
vsize: 834216
[startup+740.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 68906 48 0 0 25 0 10 0 548563959 854237184 24414 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24414 13073 16 0 208538 0
vsize: 834216
[startup+750.091 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 69820 48 0 0 25 0 10 0 548563959 854237184 24446 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24446 13073 16 0 208538 0
vsize: 834216
[startup+760.091 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 70733 48 0 0 25 0 10 0 548563959 854237184 24472 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24472 13073 16 0 208538 0
vsize: 834216
[startup+770.091 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 71646 48 0 0 21 0 10 0 548563959 854237184 24494 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24494 13073 16 0 208538 0
vsize: 834216
[startup+780.091 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 72558 48 0 0 25 0 10 0 548563959 854237184 24514 4294967295 134512640 134569956 3221224400 3221214088 1079720737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24514 13073 16 0 208538 0
vsize: 834216
[startup+790.092 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 73471 49 0 0 25 0 10 0 548563959 854237184 24546 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24546 13073 16 0 208538 0
vsize: 834216
[startup+800.092 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 74383 49 0 0 25 0 10 0 548563959 854237184 24570 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24570 13073 16 0 208538 0
vsize: 834216
[startup+810.093 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 75294 49 0 0 25 0 10 0 548563959 854237184 24590 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24590 13073 16 0 208538 0
vsize: 834216
[startup+820.096 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 76206 49 0 0 25 0 10 0 548563959 854237184 24617 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24617 13073 16 0 208538 0
vsize: 834216
[startup+830.095 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 77116 49 0 0 25 0 10 0 548563959 854237184 24641 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24641 13073 16 0 208538 0
vsize: 834216
[startup+840.096 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 78026 49 0 0 25 0 10 0 548563959 854237184 24665 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24665 13073 16 0 208538 0
vsize: 834216
[startup+850.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 78937 49 0 0 25 0 10 0 548563959 854237184 24685 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24685 13073 16 0 208538 0
vsize: 834216
[startup+860.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 79848 50 0 0 25 0 10 0 548563959 854237184 24712 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24712 13073 16 0 208538 0
vsize: 834216
[startup+870.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 80757 50 0 0 19 0 10 0 548563959 854237184 24736 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24736 13073 16 0 208538 0
vsize: 834216
[startup+880.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 81666 50 0 0 19 0 10 0 548563959 854237184 24755 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24755 13073 16 0 208538 0
vsize: 834216
[startup+890.104 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) S 6231 20838 20837 0 -1 0 17982 0 1 0 82578 50 0 0 25 0 10 0 548563959 854237184 24779 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24779 13073 16 0 208538 0
vsize: 834216
[startup+900.103 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 83490 50 0 0 24 0 10 0 548563959 854237184 24803 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24803 13073 16 0 208538 0
vsize: 834216
[startup+910.111 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 84400 51 0 0 25 0 10 0 548563959 854237184 24822 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24822 13073 16 0 208538 0
vsize: 834216
[startup+920.116 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 85308 51 0 0 25 0 10 0 548563959 854237184 24847 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24847 13073 16 0 208538 0
vsize: 834216
[startup+930.115 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 86215 51 0 0 25 0 10 0 548563959 854237184 24865 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24865 13073 16 0 208538 0
vsize: 834216
[startup+940.116 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 87122 51 0 0 25 0 10 0 548563959 854237184 24892 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24892 13073 16 0 208538 0
vsize: 834216
[startup+950.116 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 88029 51 0 0 25 0 10 0 548563959 854237184 24916 4294967295 134512640 134569956 3221224400 3221214080 1077559873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24916 13073 16 0 208538 0
vsize: 834216
[startup+960.116 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 88935 51 0 0 25 0 10 0 548563959 854237184 24936 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24936 13073 16 0 208538 0
vsize: 834216
[startup+970.117 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 89841 51 0 0 25 0 10 0 548563959 854237184 24959 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24959 13073 16 0 208538 0
vsize: 834216
[startup+980.122 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) S 6231 20838 20837 0 -1 0 17982 0 1 0 90748 51 0 0 25 0 10 0 548563959 854237184 24977 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 24977 13073 16 0 208538 0
vsize: 834216
[startup+990.123 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6247
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 91660 51 0 0 25 0 10 0 548563959 854237184 25002 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25002 13073 16 0 208538 0
vsize: 834216
[startup+1000.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 92566 51 0 0 25 0 10 0 548563959 854237184 25020 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25020 13073 16 0 208538 0
vsize: 834216
[startup+1010.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 93471 52 0 0 25 0 10 0 548563959 854237184 25038 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25038 13073 16 0 208538 0
vsize: 834216
[startup+1020.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 94376 52 0 0 25 0 10 0 548563959 854237184 25066 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25066 13073 16 0 208538 0
vsize: 834216
[startup+1030.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 95282 52 0 0 25 0 10 0 548563959 854237184 25084 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25084 13073 16 0 208538 0
vsize: 834216
[startup+1040.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 96186 52 0 0 24 0 10 0 548563959 854237184 25109 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25109 13073 16 0 208538 0
vsize: 834216
[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 97096 52 0 0 25 0 10 0 548563959 854237184 25131 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25131 13073 16 0 208538 0
vsize: 834216
[startup+1060.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 97997 52 0 0 25 0 10 0 548563959 854237184 25152 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25152 13073 16 0 208538 0
vsize: 834216
[startup+1070.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 98900 52 0 0 25 0 10 0 548563959 854237184 25171 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25171 13073 16 0 208538 0
vsize: 834216
[startup+1080.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 99803 52 0 0 25 0 10 0 548563959 854237184 25193 4294967295 134512640 134569956 3221224400 3221214768 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25193 13073 16 0 208538 0
vsize: 834216
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) S 6231 20838 20837 0 -1 0 17982 0 1 0 100706 52 0 0 25 0 10 0 548563959 854237184 25213 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25213 13073 16 0 208538 0
vsize: 834216
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 101615 52 0 0 23 0 10 0 548563959 854237184 25233 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25233 13073 16 0 208538 0
vsize: 834216
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 102517 52 0 0 21 0 10 0 548563959 854237184 25253 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25253 13073 16 0 208538 0
vsize: 834216
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 103419 52 0 0 21 0 10 0 548563959 854237184 25274 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25274 13073 16 0 208538 0
vsize: 834216
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 104320 52 0 0 19 0 10 0 548563959 854237184 25293 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25293 13073 16 0 208538 0
vsize: 834216
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) S 6231 20838 20837 0 -1 0 17982 0 1 0 105224 53 0 0 24 0 10 0 548563959 854237184 25314 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25314 13073 16 0 208538 0
vsize: 834216
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 106129 53 0 0 22 0 10 0 548563959 854237184 25334 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25334 13073 16 0 208538 0
vsize: 834216
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 107031 53 0 0 21 0 10 0 548563959 854237184 25354 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25354 13073 16 0 208538 0
vsize: 834216
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 107931 53 0 0 19 0 10 0 548563959 854237184 25370 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25370 13073 16 0 208538 0
vsize: 834216
[startup+1180.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) S 6231 20838 20837 0 -1 0 17982 0 1 0 108836 53 0 0 23 0 10 0 548563959 854237184 25394 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25394 13073 16 0 208538 0
vsize: 834216
[startup+1190.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 109736 53 0 0 22 0 10 0 548563959 854237184 25413 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25413 13073 16 0 208538 0
vsize: 834216
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 110633 53 0 0 21 0 10 0 548563959 854237184 25432 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25432 13073 16 0 208538 0
vsize: 834216
[startup+1210.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 111533 53 0 0 18 0 10 0 548563959 854237184 25452 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25452 13073 16 0 208538 0
vsize: 834216
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) S 6231 20838 20837 0 -1 0 17982 0 1 0 112438 53 0 0 23 0 10 0 548563959 854237184 25467 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25467 13073 16 0 208538 0
vsize: 834216
[startup+1230.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 113339 53 0 0 21 0 10 0 548563959 854237184 25483 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25483 13073 16 0 208538 0
vsize: 834216
[startup+1240.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 114238 53 0 0 20 0 10 0 548563959 854237184 25499 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25499 13073 16 0 208538 0
vsize: 834216
[startup+1250.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 115143 53 0 0 23 0 10 0 548563959 854237184 25527 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25527 13073 16 0 208538 0
vsize: 834216
[startup+1260.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 116041 53 0 0 20 0 10 0 548563959 854237184 25550 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25550 13073 16 0 208538 0
vsize: 834216
[startup+1270.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 116940 54 0 0 20 0 10 0 548563959 854237184 25569 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25569 13073 16 0 208538 0
vsize: 834216
[startup+1280.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 117846 54 0 0 23 0 10 0 548563959 854237184 25580 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25580 13073 16 0 208538 0
vsize: 834216
[startup+1290.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6249
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 118745 54 0 0 22 0 10 0 548563959 854237184 25611 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25611 13073 16 0 208538 0
vsize: 834216
[startup+1300.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6251
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 119648 55 0 0 19 0 10 0 548563959 854237184 25626 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25626 13073 16 0 208538 0
vsize: 834216
[startup+1310.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6251
Raw data (stat): 6232 (java) R 6231 20838 20837 0 -1 0 17982 0 1 0 120550 55 0 0 19 0 10 0 548563959 854237184 25651 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 25651 13073 16 0 208538 0
vsize: 834216
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.24 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 6252
Raw data (stat): 6232 (java) Z 6231 20838 20837 0 -1 1036 17982 7201 1 0 120555 55 10368 43 20 0 1 0 548563959 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): 1310.24
CPU time (s): 1310.22
CPU user time (s): 1309.24
CPU system time (s): 0.98485
CPU usage (%): 99.9984
Max. virtual memory (Kb): 834216
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####