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/unibo/normalized-mps-v2-20-10-van.opb
MD5SUM	d28d6112d880a2aec142bea33a4150fb
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	192
Biggest coefficient in the objective function	2427002644
Number of bits for the biggest coefficient in the objective function	32
Sum of the numbers in the objective function	319999999936
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	226795425792
Number of bits of the biggest number in a constraint	38
Biggest sum of numbers in a constraint	973128929893
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	207.441
Number of variables	135360
Total number of constraints	39811
Number of constraints which are clauses	128
Number of constraints which are cardinality constraints (but not clauses)	195
Number of constraints which are nor clauses,nor cardinality constraints	39488
Minimum length of a constraint	1
Maximum length of a constraint	496
Trace number 13310

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-04-20 20:22:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15336 boxname=wulflinc30 idbench=1180 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  d28d6112d880a2aec142bea33a4150fb  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-van.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-van.opb
IDLAUNCH: 15336
/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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        502664 kB
Buffers:         33312 kB
Cached:         455000 kB
SwapCached:       3532 kB
Active:         237300 kB
Inactive:       257404 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        502384 kB
SwapTotal:     2097892 kB
SwapFree:      2094360 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           6952 kB
Slab:            31744 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-20 20:45:13 (client local time) WITH STATUS 143 IN 1330.46 SECONDS
stats: 15336 7 1330.46 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-van.opb
c reading problem 
c [nbvar=135360]
c [nbconstr=39811]
#### 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.99 0.54 0.21 2/54 3473
Raw data (stat): 3473 (runsolver) R 3472 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 539284710 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0087 s]
Raw data (loadavg): 1.06 0.57 0.22 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 17999 0 1 0 856 39 0 0 24 0 10 0 539284710 854306816 19556 4294967295 134512640 134569956 3221224400 3221214536 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208571 19556 13073 16 0 208555 0
vsize: 834284
[startup+20.0273 s]
Raw data (loadavg): 1.05 0.58 0.23 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 1749 40 0 0 19 0 10 0 539284710 854040576 20047 4294967295 134512640 134569956 3221224400 3221214500 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 20047 13073 16 0 208490 0
vsize: 834024
[startup+30.036 s]
Raw data (loadavg): 1.04 0.59 0.23 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 2634 40 0 0 23 0 10 0 539284710 854261760 20649 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208560 20649 13073 16 0 208544 0
vsize: 834240
[startup+40.0637 s]
Raw data (loadavg): 1.04 0.61 0.24 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 3549 40 0 0 25 0 10 0 539284710 854261760 20950 4294967295 134512640 134569956 3221224400 3221214504 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208560 20950 13073 16 0 208544 0
vsize: 834240
[startup+50.072 s]
Raw data (loadavg): 1.03 0.62 0.25 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 4472 40 0 0 24 0 10 0 539284710 854261760 21137 4294967295 134512640 134569956 3221224400 3221214456 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208560 21137 13073 16 0 208544 0
vsize: 834240
[startup+60.0721 s]
Raw data (loadavg): 1.03 0.63 0.26 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 5397 40 0 0 25 0 10 0 539284710 854040576 21232 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 21232 13073 16 0 208490 0
vsize: 834024
[startup+70.0723 s]
Raw data (loadavg): 1.02 0.64 0.27 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 6320 40 0 0 25 0 10 0 539284710 854040576 21361 4294967295 134512640 134569956 3221224400 3221214556 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 21361 13073 16 0 208490 0
vsize: 834024
[startup+80.0734 s]
Raw data (loadavg): 1.02 0.65 0.27 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 7249 40 0 0 25 0 10 0 539284710 854040576 21562 4294967295 134512640 134569956 3221224400 3221214296 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 21562 13073 16 0 208490 0
vsize: 834024
[startup+90.0846 s]
Raw data (loadavg): 1.01 0.66 0.28 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 8182 40 0 0 25 0 10 0 539284710 854040576 21672 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 21672 13073 16 0 208490 0
vsize: 834024
[startup+100.086 s]
Raw data (loadavg): 1.01 0.67 0.29 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 9114 40 0 0 25 0 10 0 539284710 854040576 21773 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 21773 13073 16 0 208490 0
vsize: 834024
[startup+110.087 s]
Raw data (loadavg): 1.01 0.68 0.29 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 10048 40 0 0 25 0 10 0 539284710 854040576 21869 4294967295 134512640 134569956 3221224400 3221214872 1131273778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 21869 13073 16 0 208490 0
vsize: 834024
[startup+120.087 s]
Raw data (loadavg): 1.01 0.69 0.30 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 10982 40 0 0 25 0 10 0 539284710 854040576 21960 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 21960 13073 16 0 208490 0
vsize: 834024
[startup+130.1 s]
Raw data (loadavg): 1.01 0.70 0.31 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 11918 41 0 0 25 0 10 0 539284710 854040576 22044 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 22044 13073 16 0 208490 0
vsize: 834024
[startup+140.119 s]
Raw data (loadavg): 1.00 0.71 0.31 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 12854 41 0 0 25 0 10 0 539284710 854040576 22123 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 22123 13073 16 0 208490 0
vsize: 834024
[startup+150.127 s]
Raw data (loadavg): 1.00 0.72 0.32 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 13789 41 0 0 25 0 10 0 539284710 854040576 22199 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 22199 13073 16 0 208490 0
vsize: 834024
[startup+160.128 s]
Raw data (loadavg): 1.00 0.73 0.33 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 14723 41 0 0 25 0 10 0 539284710 854040576 22272 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 22272 13073 16 0 208490 0
vsize: 834024
[startup+170.128 s]
Raw data (loadavg): 1.00 0.74 0.33 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 15656 41 0 0 25 0 10 0 539284710 854040576 22343 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 22343 13073 16 0 208490 0
vsize: 834024
[startup+180.13 s]
Raw data (loadavg): 1.00 0.75 0.34 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 16589 41 0 0 25 0 10 0 539284710 854040576 22410 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 22410 13073 16 0 208490 0
vsize: 834024
[startup+190.15 s]
Raw data (loadavg): 1.00 0.76 0.35 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 17506 42 0 0 25 0 10 0 539284710 854040576 22476 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 22476 13073 16 0 208490 0
vsize: 834024
[startup+200.151 s]
Raw data (loadavg): 1.00 0.76 0.36 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 18422 42 0 0 25 0 10 0 539284710 854040576 22539 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 22539 13073 16 0 208490 0
vsize: 834024
[startup+210.152 s]
Raw data (loadavg): 1.00 0.77 0.36 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 19351 42 0 0 25 0 10 0 539284710 854040576 22761 4294967295 134512640 134569956 3221224400 3221214552 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 22761 13073 16 0 208490 0
vsize: 834024
[startup+220.159 s]
Raw data (loadavg): 1.00 0.78 0.37 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 20281 42 0 0 25 0 10 0 539284710 854040576 22822 4294967295 134512640 134569956 3221224400 3221214296 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 22822 13073 16 0 208490 0
vsize: 834024
[startup+230.161 s]
Raw data (loadavg): 1.00 0.78 0.37 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 21210 42 0 0 25 0 10 0 539284710 854040576 22880 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 22880 13073 16 0 208490 0
vsize: 834024
[startup+240.161 s]
Raw data (loadavg): 1.00 0.79 0.38 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 22138 42 0 0 25 0 10 0 539284710 854040576 22937 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 22937 13073 16 0 208490 0
vsize: 834024
[startup+250.162 s]
Raw data (loadavg): 1.00 0.80 0.39 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 23067 42 0 0 25 0 10 0 539284710 854040576 22992 4294967295 134512640 134569956 3221224400 3221214504 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 22992 13073 16 0 208490 0
vsize: 834024
[startup+260.163 s]
Raw data (loadavg): 1.00 0.80 0.39 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 23994 43 0 0 25 0 10 0 539284710 854040576 23047 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23047 13073 16 0 208490 0
vsize: 834024
[startup+270.163 s]
Raw data (loadavg): 1.00 0.81 0.40 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 24921 43 0 0 25 0 10 0 539284710 854040576 23100 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23100 13073 16 0 208490 0
vsize: 834024
[startup+280.17 s]
Raw data (loadavg): 1.00 0.81 0.40 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 25848 43 0 0 25 0 10 0 539284710 854040576 23152 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23152 13073 16 0 208490 0
vsize: 834024
[startup+290.17 s]
Raw data (loadavg): 1.00 0.82 0.41 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 26773 43 0 0 25 0 10 0 539284710 854040576 23203 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23203 13073 16 0 208490 0
vsize: 834024
[startup+300.172 s]
Raw data (loadavg): 1.00 0.83 0.42 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 27699 43 0 0 25 0 10 0 539284710 854040576 23253 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23253 13073 16 0 208490 0
vsize: 834024
[startup+310.173 s]
Raw data (loadavg): 1.00 0.83 0.42 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 28623 43 0 0 24 0 10 0 539284710 854040576 23302 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23302 13073 16 0 208490 0
vsize: 834024
[startup+320.174 s]
Raw data (loadavg): 1.00 0.84 0.43 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 29547 43 0 0 24 0 10 0 539284710 854040576 23351 4294967295 134512640 134569956 3221224400 3221214828 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23351 13073 16 0 208490 0
vsize: 834024
[startup+330.174 s]
Raw data (loadavg): 1.00 0.84 0.43 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 30475 43 0 0 25 0 10 0 539284710 854040576 23395 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23395 13073 16 0 208490 0
vsize: 834024
[startup+340.175 s]
Raw data (loadavg): 1.00 0.85 0.44 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 31398 43 0 0 25 0 10 0 539284710 854040576 23441 4294967295 134512640 134569956 3221224400 3221214112 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23441 13073 16 0 208490 0
vsize: 834024
[startup+350.177 s]
Raw data (loadavg): 1.00 0.85 0.44 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 32319 43 0 0 25 0 10 0 539284710 854040576 23487 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23487 13073 16 0 208490 0
vsize: 834024
[startup+360.177 s]
Raw data (loadavg): 1.00 0.85 0.45 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 33240 44 0 0 25 0 10 0 539284710 854040576 23538 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23538 13073 16 0 208490 0
vsize: 834024
[startup+370.178 s]
Raw data (loadavg): 1.00 0.86 0.46 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 34161 44 0 0 25 0 10 0 539284710 854040576 23582 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23582 13073 16 0 208490 0
vsize: 834024
[startup+380.186 s]
Raw data (loadavg): 1.00 0.86 0.46 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 35082 44 0 0 25 0 10 0 539284710 854040576 23626 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23626 13073 16 0 208490 0
vsize: 834024
[startup+390.187 s]
Raw data (loadavg): 1.00 0.87 0.47 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 36002 44 0 0 24 0 10 0 539284710 854040576 23669 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23669 13073 16 0 208490 0
vsize: 834024
[startup+400.188 s]
Raw data (loadavg): 1.00 0.87 0.47 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 36926 44 0 0 25 0 10 0 539284710 854040576 23708 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23708 13073 16 0 208490 0
vsize: 834024
[startup+410.19 s]
Raw data (loadavg): 1.00 0.87 0.48 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 37845 44 0 0 25 0 10 0 539284710 854040576 23751 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23751 13073 16 0 208490 0
vsize: 834024
[startup+420.19 s]
Raw data (loadavg): 1.00 0.88 0.48 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 38763 44 0 0 25 0 10 0 539284710 854040576 23792 4294967295 134512640 134569956 3221224400 3221214504 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23792 13073 16 0 208490 0
vsize: 834024
[startup+430.191 s]
Raw data (loadavg): 1.00 0.88 0.49 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 39681 44 0 0 25 0 10 0 539284710 854040576 23833 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23833 13073 16 0 208490 0
vsize: 834024
[startup+440.192 s]
Raw data (loadavg): 1.00 0.89 0.49 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 40598 45 0 0 25 0 10 0 539284710 854040576 23874 4294967295 134512640 134569956 3221224400 3221214456 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23874 13073 16 0 208490 0
vsize: 834024
[startup+450.192 s]
Raw data (loadavg): 1.00 0.89 0.50 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 41520 45 0 0 25 0 10 0 539284710 854040576 23912 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23912 13073 16 0 208490 0
vsize: 834024
[startup+460.193 s]
Raw data (loadavg): 1.00 0.89 0.50 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 42435 45 0 0 25 0 10 0 539284710 854040576 23951 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23951 13073 16 0 208490 0
vsize: 834024
[startup+470.193 s]
Raw data (loadavg): 1.00 0.89 0.51 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 43351 45 0 0 25 0 10 0 539284710 854040576 23991 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 23991 13073 16 0 208490 0
vsize: 834024
[startup+480.193 s]
Raw data (loadavg): 1.00 0.90 0.51 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 44266 45 0 0 25 0 10 0 539284710 854040576 24029 4294967295 134512640 134569956 3221224400 3221214552 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24029 13073 16 0 208490 0
vsize: 834024
[startup+490.193 s]
Raw data (loadavg): 1.00 0.90 0.52 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 45185 46 0 0 25 0 10 0 539284710 854040576 24065 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24065 13073 16 0 208490 0
vsize: 834024
[startup+500.194 s]
Raw data (loadavg): 1.00 0.90 0.52 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 46099 46 0 0 25 0 10 0 539284710 854040576 24103 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24103 13073 16 0 208490 0
vsize: 834024
[startup+510.195 s]
Raw data (loadavg): 1.00 0.91 0.52 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 47013 46 0 0 25 0 10 0 539284710 854040576 24140 4294967295 134512640 134569956 3221224400 3221214872 1131273686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24140 13073 16 0 208490 0
vsize: 834024
[startup+520.195 s]
Raw data (loadavg): 1.00 0.91 0.53 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 47931 46 0 0 25 0 10 0 539284710 854040576 24175 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24175 13073 16 0 208490 0
vsize: 834024
[startup+530.196 s]
Raw data (loadavg): 1.00 0.91 0.53 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 48843 46 0 0 25 0 10 0 539284710 854040576 24212 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24212 13073 16 0 208490 0
vsize: 834024
[startup+540.196 s]
Raw data (loadavg): 1.00 0.91 0.54 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 49755 46 0 0 24 0 10 0 539284710 854040576 24248 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24248 13073 16 0 208490 0
vsize: 834024
[startup+550.197 s]
Raw data (loadavg): 1.00 0.92 0.54 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 50672 46 0 0 25 0 10 0 539284710 854040576 24282 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24282 13073 16 0 208490 0
vsize: 834024
[startup+560.197 s]
Raw data (loadavg): 1.00 0.92 0.55 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 51584 46 0 0 25 0 10 0 539284710 854040576 24317 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24317 13073 16 0 208490 0
vsize: 834024
[startup+570.197 s]
Raw data (loadavg): 1.00 0.92 0.55 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 52494 46 0 0 24 0 10 0 539284710 854040576 24353 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24353 13073 16 0 208490 0
vsize: 834024
[startup+580.198 s]
Raw data (loadavg): 1.00 0.92 0.56 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 53409 47 0 0 25 0 10 0 539284710 854040576 24386 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24386 13073 16 0 208490 0
vsize: 834024
[startup+590.198 s]
Raw data (loadavg): 1.00 0.92 0.56 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 54319 47 0 0 25 0 10 0 539284710 854040576 24421 4294967295 134512640 134569956 3221224400 3221214552 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24421 13073 16 0 208490 0
vsize: 834024
[startup+600.199 s]
Raw data (loadavg): 1.00 0.93 0.56 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 55233 47 0 0 25 0 10 0 539284710 854040576 24453 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24453 13073 16 0 208490 0
vsize: 834024
[startup+610.2 s]
Raw data (loadavg): 1.00 0.93 0.57 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 56142 47 0 0 25 0 10 0 539284710 854040576 24487 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24487 13073 16 0 208490 0
vsize: 834024
[startup+620.201 s]
Raw data (loadavg): 1.00 0.93 0.57 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 57056 47 0 0 25 0 10 0 539284710 854040576 24519 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24519 13073 16 0 208490 0
vsize: 834024
[startup+630.201 s]
Raw data (loadavg): 1.00 0.93 0.58 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 57963 47 0 0 25 0 10 0 539284710 854040576 24552 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24552 13073 16 0 208490 0
vsize: 834024
[startup+640.215 s]
Raw data (loadavg): 1.00 0.93 0.58 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 58872 47 0 0 24 0 10 0 539284710 854040576 24586 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24586 13073 16 0 208490 0
vsize: 834024
[startup+650.233 s]
Raw data (loadavg): 1.00 0.94 0.58 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 59786 47 0 0 22 0 10 0 539284710 854040576 24616 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24616 13073 16 0 208490 0
vsize: 834024
[startup+660.233 s]
Raw data (loadavg): 1.00 0.94 0.59 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 60691 47 0 0 19 0 10 0 539284710 854040576 24649 4294967295 134512640 134569956 3221224400 3221214556 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24649 13073 16 0 208490 0
vsize: 834024
[startup+670.235 s]
Raw data (loadavg): 1.00 0.94 0.59 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 61603 47 0 0 21 0 10 0 539284710 854040576 24680 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24680 13073 16 0 208490 0
vsize: 834024
[startup+680.244 s]
Raw data (loadavg): 1.00 0.94 0.60 2/63 3482
Raw data (stat): 3473 (java) S 3472 11931 11930 0 -1 0 18000 0 1 0 62513 47 0 0 24 0 10 0 539284710 854040576 24710 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24710 13073 16 0 208490 0
vsize: 834024
[startup+690.243 s]
Raw data (loadavg): 1.00 0.94 0.60 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 63418 47 0 0 20 0 10 0 539284710 854040576 24742 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24742 13073 16 0 208490 0
vsize: 834024
[startup+700.26 s]
Raw data (loadavg): 1.00 0.94 0.60 2/63 3482
Raw data (stat): 3473 (java) S 3472 11931 11930 0 -1 0 18000 0 1 0 64328 48 0 0 24 0 10 0 539284710 854040576 24772 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 24772 13073 16 0 208490 0
vsize: 834024
[startup+710.261 s]
Raw data (loadavg): 1.00 0.94 0.61 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 65231 48 0 0 21 0 10 0 539284710 854040576 25344 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25344 13073 16 0 208490 0
vsize: 834024
[startup+720.269 s]
Raw data (loadavg): 1.00 0.95 0.61 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 66139 48 0 0 23 0 10 0 539284710 854040576 25344 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25344 13073 16 0 208490 0
vsize: 834024
[startup+730.27 s]
Raw data (loadavg): 1.00 0.95 0.62 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 67033 48 0 0 18 0 10 0 539284710 854040576 25367 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25367 13073 16 0 208490 0
vsize: 834024
[startup+740.271 s]
Raw data (loadavg): 1.00 0.95 0.62 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 67931 48 0 0 18 0 10 0 539284710 854040576 25396 4294967295 134512640 134569956 3221224400 3221214296 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25396 13073 16 0 208490 0
vsize: 834024
[startup+750.272 s]
Raw data (loadavg): 1.00 0.95 0.62 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 68831 48 0 0 21 0 10 0 539284710 854040576 25425 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25425 13073 16 0 208490 0
vsize: 834024
[startup+760.273 s]
Raw data (loadavg): 1.00 0.95 0.63 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 69729 48 0 0 22 0 10 0 539284710 854040576 25453 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25453 13073 16 0 208490 0
vsize: 834024
[startup+770.274 s]
Raw data (loadavg): 1.00 0.95 0.63 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 70621 48 0 0 18 0 10 0 539284710 854040576 25483 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25483 13073 16 0 208490 0
vsize: 834024
[startup+780.275 s]
Raw data (loadavg): 1.00 0.95 0.63 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 71519 48 0 0 18 0 10 0 539284710 854040576 25512 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25512 13073 16 0 208490 0
vsize: 834024
[startup+790.282 s]
Raw data (loadavg): 1.00 0.95 0.64 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 72417 48 0 0 19 0 10 0 539284710 854040576 25539 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25539 13073 16 0 208490 0
vsize: 834024
[startup+800.285 s]
Raw data (loadavg): 1.00 0.95 0.64 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 73314 48 0 0 20 0 10 0 539284710 854040576 25567 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25567 13073 16 0 208490 0
vsize: 834024
[startup+810.285 s]
Raw data (loadavg): 1.00 0.95 0.64 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 74200 48 0 0 21 0 10 0 539284710 854040576 25596 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25596 13073 16 0 208490 0
vsize: 834024
[startup+820.287 s]
Raw data (loadavg): 1.00 0.95 0.65 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 75096 49 0 0 22 0 10 0 539284710 854040576 25623 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25623 13073 16 0 208490 0
vsize: 834024
[startup+830.292 s]
Raw data (loadavg): 1.00 0.96 0.65 2/63 3482
Raw data (stat): 3473 (java) S 3472 11931 11930 0 -1 0 18000 0 1 0 75987 49 0 0 22 0 10 0 539284710 854040576 25651 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25651 13073 16 0 208490 0
vsize: 834024
[startup+840.291 s]
Raw data (loadavg): 1.00 0.96 0.65 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 76881 49 0 0 18 0 10 0 539284710 854040576 25679 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25679 13073 16 0 208490 0
vsize: 834024
[startup+850.299 s]
Raw data (loadavg): 1.00 0.96 0.66 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 77777 49 0 0 19 0 10 0 539284710 854040576 25706 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25706 13073 16 0 208490 0
vsize: 834024
[startup+860.316 s]
Raw data (loadavg): 1.00 0.96 0.66 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 78674 49 0 0 20 0 10 0 539284710 854040576 25733 4294967295 134512640 134569956 3221224400 3221214296 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25733 13073 16 0 208490 0
vsize: 834024
[startup+870.315 s]
Raw data (loadavg): 1.00 0.96 0.66 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 79568 49 0 0 21 0 10 0 539284710 854040576 25760 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25760 13073 16 0 208490 0
vsize: 834024
[startup+880.328 s]
Raw data (loadavg): 1.00 0.96 0.66 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 80463 50 0 0 20 0 10 0 539284710 854040576 25786 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208506 25786 13073 16 0 208490 0
vsize: 834024
[startup+890.338 s]
Raw data (loadavg): 1.00 0.96 0.67 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 81359 50 0 0 22 0 10 0 539284710 854040576 25812 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25812 13073 16 0 208490 0
vsize: 834024
[startup+900.341 s]
Raw data (loadavg): 1.00 0.96 0.67 2/63 3482
Raw data (stat): 3473 (java) S 3472 11931 11930 0 -1 0 18000 0 1 0 82250 50 0 0 23 0 10 0 539284710 854040576 25839 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25839 13073 16 0 208490 0
vsize: 834024
[startup+910.345 s]
Raw data (loadavg): 1.00 0.96 0.67 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 83139 50 0 0 17 0 10 0 539284710 854040576 25866 4294967295 134512640 134569956 3221224400 3221214448 1079668496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25866 13073 16 0 208490 0
vsize: 834024
[startup+920.345 s]
Raw data (loadavg): 1.00 0.96 0.68 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 84031 50 0 0 17 0 10 0 539284710 854040576 25892 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25892 13073 16 0 208490 0
vsize: 834024
[startup+930.345 s]
Raw data (loadavg): 1.00 0.97 0.68 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 84923 50 0 0 18 0 10 0 539284710 854040576 25918 4294967295 134512640 134569956 3221224400 3221214552 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25918 13073 16 0 208490 0
vsize: 834024
[startup+940.346 s]
Raw data (loadavg): 1.00 0.97 0.68 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 85816 51 0 0 18 0 10 0 539284710 854040576 25943 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25943 13073 16 0 208490 0
vsize: 834024
[startup+950.347 s]
Raw data (loadavg): 1.00 0.97 0.68 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 86707 51 0 0 18 0 10 0 539284710 854040576 25975 4294967295 134512640 134569956 3221224400 3221214296 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 25975 13073 16 0 208490 0
vsize: 834024
[startup+960.347 s]
Raw data (loadavg): 1.00 0.97 0.69 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 87598 51 0 0 18 0 10 0 539284710 854040576 26004 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26004 13073 16 0 208490 0
vsize: 834024
[startup+970.347 s]
Raw data (loadavg): 1.00 0.97 0.69 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 88489 51 0 0 20 0 10 0 539284710 854040576 26029 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26029 13073 16 0 208490 0
vsize: 834024
[startup+980.348 s]
Raw data (loadavg): 1.00 0.97 0.69 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 89379 51 0 0 19 0 10 0 539284710 854040576 26064 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26064 13073 16 0 208490 0
vsize: 834024
[startup+990.349 s]
Raw data (loadavg): 1.00 0.97 0.70 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 90270 51 0 0 19 0 10 0 539284710 854040576 26090 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26090 13073 16 0 208490 0
vsize: 834024
[startup+1000.36 s]
Raw data (loadavg): 1.00 0.97 0.70 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 91162 51 0 0 20 0 10 0 539284710 854040576 26124 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26124 13073 16 0 208490 0
vsize: 834024
[startup+1010.36 s]
Raw data (loadavg): 1.00 0.97 0.70 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 92053 52 0 0 20 0 10 0 539284710 854040576 26163 4294967295 134512640 134569956 3221224400 3221214552 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26163 13073 16 0 208490 0
vsize: 834024
[startup+1020.36 s]
Raw data (loadavg): 1.00 0.97 0.71 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 92947 52 0 0 21 0 10 0 539284710 854040576 26183 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26183 13073 16 0 208490 0
vsize: 834024
[startup+1030.36 s]
Raw data (loadavg): 1.00 0.97 0.71 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 93839 52 0 0 21 0 10 0 539284710 854040576 26196 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26196 13073 16 0 208490 0
vsize: 834024
[startup+1040.36 s]
Raw data (loadavg): 1.00 0.97 0.71 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 94731 52 0 0 22 0 10 0 539284710 854040576 26260 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26260 13073 16 0 208490 0
vsize: 834024
[startup+1050.38 s]
Raw data (loadavg): 1.00 0.97 0.71 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 95627 52 0 0 23 0 10 0 539284710 854040576 26269 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26269 13073 16 0 208490 0
vsize: 834024
[startup+1060.38 s]
Raw data (loadavg): 1.00 0.97 0.72 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 96517 52 0 0 22 0 10 0 539284710 854040576 26330 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26330 13073 16 0 208490 0
vsize: 834024
[startup+1070.38 s]
Raw data (loadavg): 1.00 0.97 0.72 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 97412 52 0 0 22 0 10 0 539284710 854040576 26330 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26330 13073 16 0 208490 0
vsize: 834024
[startup+1080.53 s]
Raw data (loadavg): 1.00 0.97 0.72 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 98308 52 0 0 17 0 10 0 539284710 854040576 26342 4294967295 134512640 134569956 3221224400 3221214552 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26342 13073 16 0 208490 0
vsize: 834024
[startup+1090.63 s]
Raw data (loadavg): 1.00 0.97 0.73 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 99218 52 0 0 20 0 10 0 539284710 854040576 26413 4294967295 134512640 134569956 3221224400 3221214548 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26413 13073 16 0 208490 0
vsize: 834024
[startup+1100.64 s]
Raw data (loadavg): 1.00 0.97 0.73 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 100121 53 0 0 22 0 10 0 539284710 854040576 26434 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26434 13073 16 0 208490 0
vsize: 834024
[startup+1110.64 s]
Raw data (loadavg): 1.00 0.97 0.73 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 101020 53 0 0 22 0 10 0 539284710 854040576 26434 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26434 13073 16 0 208490 0
vsize: 834024
[startup+1120.65 s]
Raw data (loadavg): 1.00 0.97 0.73 2/63 3482
Raw data (stat): 3473 (java) S 3472 11931 11930 0 -1 0 18000 0 1 0 101915 53 0 0 23 0 10 0 539284710 854040576 26474 4294967295 134512640 134569956 3221224400 3221213788 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26474 13073 16 0 208490 0
vsize: 834024
[startup+1130.65 s]
Raw data (loadavg): 1.00 0.97 0.73 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 102809 53 0 0 18 0 10 0 539284710 854040576 26508 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26508 13073 16 0 208490 0
vsize: 834024
[startup+1140.65 s]
Raw data (loadavg): 1.00 0.97 0.74 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 103710 53 0 0 19 0 10 0 539284710 854040576 26523 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26523 13073 16 0 208490 0
vsize: 834024
[startup+1150.66 s]
Raw data (loadavg): 1.00 0.97 0.74 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 104610 53 0 0 18 0 10 0 539284710 854040576 26536 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26536 13073 16 0 208490 0
vsize: 834024
[startup+1160.66 s]
Raw data (loadavg): 1.00 0.97 0.74 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 105505 53 0 0 20 0 10 0 539284710 854040576 26575 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26575 13073 16 0 208490 0
vsize: 834024
[startup+1170.66 s]
Raw data (loadavg): 1.00 0.97 0.74 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 106405 53 0 0 21 0 10 0 539284710 854040576 26583 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26583 13073 16 0 208490 0
vsize: 834024
[startup+1180.69 s]
Raw data (loadavg): 1.00 0.97 0.74 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 107301 53 0 0 21 0 10 0 539284710 854040576 26616 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26616 13073 16 0 208490 0
vsize: 834024
[startup+1190.69 s]
Raw data (loadavg): 1.00 0.97 0.75 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 108201 53 0 0 24 0 10 0 539284710 854040576 26657 4294967295 134512640 134569956 3221224400 3221214504 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26657 13073 16 0 208490 0
vsize: 834024
[startup+1200.69 s]
Raw data (loadavg): 1.00 0.97 0.75 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 109093 53 0 0 18 0 10 0 539284710 854040576 26677 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26677 13073 16 0 208490 0
vsize: 834024
[startup+1210.69 s]
Raw data (loadavg): 1.00 0.97 0.75 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 109987 53 0 0 18 0 10 0 539284710 854040576 26700 4294967295 134512640 134569956 3221224400 3221214296 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26700 13073 16 0 208490 0
vsize: 834024
[startup+1220.69 s]
Raw data (loadavg): 1.00 0.97 0.75 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 110885 53 0 0 19 0 10 0 539284710 854040576 26732 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26732 13073 16 0 208490 0
vsize: 834024
[startup+1230.69 s]
Raw data (loadavg): 1.00 0.97 0.75 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 111782 54 0 0 20 0 10 0 539284710 854040576 26757 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26757 13073 16 0 208490 0
vsize: 834024
[startup+1240.69 s]
Raw data (loadavg): 1.00 0.97 0.76 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 112681 54 0 0 20 0 10 0 539284710 854040576 26784 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26784 13073 16 0 208490 0
vsize: 834024
[startup+1250.69 s]
Raw data (loadavg): 1.00 0.97 0.76 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 113581 54 0 0 21 0 10 0 539284710 854040576 26806 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26806 13073 16 0 208490 0
vsize: 834024
[startup+1260.69 s]
Raw data (loadavg): 1.00 0.97 0.76 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 114479 54 0 0 22 0 10 0 539284710 854040576 26834 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26834 13073 16 0 208490 0
vsize: 834024
[startup+1270.7 s]
Raw data (loadavg): 1.00 0.97 0.76 2/63 3482
Raw data (stat): 3473 (java) S 3472 11931 11930 0 -1 0 18000 0 1 0 115376 54 0 0 23 0 10 0 539284710 854040576 26856 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26856 13073 16 0 208490 0
vsize: 834024
[startup+1280.71 s]
Raw data (loadavg): 1.00 0.97 0.76 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 116272 54 0 0 18 0 10 0 539284710 854040576 26888 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26888 13073 16 0 208490 0
vsize: 834024
[startup+1290.71 s]
Raw data (loadavg): 1.00 0.97 0.77 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 117170 54 0 0 19 0 10 0 539284710 854040576 26912 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26912 13073 16 0 208490 0
vsize: 834024
[startup+1300.71 s]
Raw data (loadavg): 1.00 0.97 0.77 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 118068 54 0 0 19 0 10 0 539284710 854040576 26937 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26937 13073 16 0 208490 0
vsize: 834024
[startup+1310.72 s]
Raw data (loadavg): 1.00 0.97 0.77 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 118966 54 0 0 21 0 10 0 539284710 854040576 26958 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26958 13073 16 0 208490 0
vsize: 834024
[startup+1320.71 s]
Raw data (loadavg): 1.00 0.97 0.77 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 119864 54 0 0 22 0 10 0 539284710 854040576 26980 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 26980 13073 16 0 208490 0
vsize: 834024
[startup+1330.72 s]
Raw data (loadavg): 1.00 0.97 0.77 2/63 3482
Raw data (stat): 3473 (java) R 3472 11931 11930 0 -1 0 18000 0 1 0 120761 54 0 0 22 0 10 0 539284710 854040576 27001 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 27001 13073 16 0 208490 0
vsize: 834024
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1331.02 s]
Raw data (loadavg): 1.00 0.97 0.77 1/54 3483
Raw data (stat): 3473 (java) Z 3472 11931 11930 0 -1 1036 18000 8583 1 1 120768 54 12178 44 16 0 1 0 539284710 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): 1331.02
CPU time (s): 1330.46
CPU user time (s): 1329.48
CPU system time (s): 0.988849
CPU usage (%): 99.9584
Max. virtual memory (Kb): 834284
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####