PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mkc.opb
MD5SUM	6ef3eff2fef1e9f71734c5cb8b6e12e4
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	2946
Biggest coefficient in the objective function	20000
Number of bits for the biggest coefficient in the objective function	15
Sum of the numbers in the objective function	31442101
Number of bits of the sum of numbers in the objective function	25
Biggest number in a constraint	67108864000
Number of bits of the biggest number in a constraint	36
Biggest sum of numbers in a constraint	138201238403
Number of bits of the biggest sum of numbers	38
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1231.25
Number of variables	5383
Total number of constraints	8734
Number of constraints which are clauses	2977
Number of constraints which are cardinality constraints (but not clauses)	5731
Number of constraints which are nor clauses,nor cardinality constraints	26
Minimum length of a constraint	1
Maximum length of a constraint	2952
Trace number 21780

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        784108 kB
Buffers:          9708 kB
Cached:         220108 kB
SwapCached:        364 kB
Active:          24796 kB
Inactive:       207236 kB
HighTotal:      131008 kB
HighFree:         8428 kB
LowTotal:       903652 kB
LowFree:        775680 kB
SwapTotal:     2097136 kB
SwapFree:      2096008 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5728 kB
Slab:            12724 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 01:16:49 (client local time) WITH STATUS 143 IN 1242.2 SECONDS
stats: 12710 7 1242.2 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-mkc.opb
c reading problem 
c [nbvar=5383]
c [nbconstr=8734]
c time 16.279
c #vars     5383
c #clauses  3281
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=0
c Current CPU time (ms) : 17.011
c starts	: 1
c conflicts	: 0
c decisions	: 5308
c propagations	: 5383
c inspects	: 2901
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
#### 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.83 0.94 0.91 2/54 20823
Raw data (stat): 20823 (runsolver) R 20822 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 491342809 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.0005 s]
Raw data (loadavg): 0.85 0.94 0.91 2/63 20832
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18017 0 1 0 751 40 0 0 25 0 10 0 491342809 862875648 21306 4294967295 134512640 134569956 3221224400 3221214452 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210663 21306 13073 16 0 210647 0
vsize: 842652
[startup+20.0084 s]
Raw data (loadavg): 0.96 0.96 0.92 3/64 20834
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18085 3 2 0 1587 41 0 0 25 0 11 0 491342809 863092736 21547 4294967295 134512640 134569956 3221224400 3221214680 1131478209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 21547 13073 16 0 210700 0
vsize: 842864
[startup+30.0082 s]
Raw data (loadavg): 0.96 0.96 0.92 2/64 20834
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18087 3 2 0 2500 41 0 0 25 0 11 0 491342809 863092736 22768 4294967295 134512640 134569956 3221224400 3221214512 1131351620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 22768 13073 16 0 210700 0
vsize: 842864
[startup+40.1267 s]
Raw data (loadavg): 0.97 0.96 0.92 2/64 20834
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 3454 41 0 0 25 0 11 0 491342809 863092736 22847 4294967295 134512640 134569956 3221224400 3221214416 1131362658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 22847 13073 16 0 210700 0
vsize: 842864
[startup+50.1293 s]
Raw data (loadavg): 0.97 0.96 0.92 2/64 20834
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 4402 42 0 0 25 0 11 0 491342809 863092736 22849 4294967295 134512640 134569956 3221224400 3221214416 1131362396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 22849 13073 16 0 210700 0
vsize: 842864
[startup+60.1296 s]
Raw data (loadavg): 0.98 0.96 0.92 2/64 20834
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 5341 42 0 0 25 0 11 0 491342809 863092736 22892 4294967295 134512640 134569956 3221224400 3221214656 1131546013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 22892 13073 16 0 210700 0
vsize: 842864
[startup+70.1307 s]
Raw data (loadavg): 0.98 0.96 0.92 2/64 20834
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 6286 42 0 0 25 0 11 0 491342809 863092736 23018 4294967295 134512640 134569956 3221224400 3221214656 1131545954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 23018 13073 16 0 210700 0
vsize: 842864
[startup+80.1332 s]
Raw data (loadavg): 0.98 0.96 0.92 2/64 20834
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 7251 43 0 0 25 0 11 0 491342809 863092736 23770 4294967295 134512640 134569956 3221224400 3221214560 1131361135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 23770 13073 16 0 210700 0
vsize: 842864
[startup+90.1333 s]
Raw data (loadavg): 0.98 0.97 0.92 2/64 20834
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 8230 43 0 0 25 0 11 0 491342809 863092736 23781 4294967295 134512640 134569956 3221224400 3221214512 1131362457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 23781 13073 16 0 210700 0
vsize: 842864
[startup+100.134 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 20834
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 9207 44 0 0 25 0 11 0 491342809 863092736 23781 4294967295 134512640 134569956 3221224400 3221214512 1131362646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 23781 13073 16 0 210700 0
vsize: 842864
[startup+110.141 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 20834
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 10185 44 0 0 24 0 11 0 491342809 863092736 23781 4294967295 134512640 134569956 3221224400 3221214696 1131602064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 23781 13073 16 0 210700 0
vsize: 842864
[startup+120.141 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 20834
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 11168 44 0 0 25 0 11 0 491342809 863092736 23911 4294967295 134512640 134569956 3221224400 3221214696 1131602135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 23911 13073 16 0 210700 0
vsize: 842864
[startup+130.141 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 20834
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 12153 45 0 0 25 0 11 0 491342809 863092736 24045 4294967295 134512640 134569956 3221224400 3221214592 1131557636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210716 24045 13073 16 0 210700 0
vsize: 842864
[startup+140.151 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 20834
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 13144 46 0 0 25 0 11 0 491342809 863092736 24111 4294967295 134512640 134569956 3221224400 3221214592 1131556643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24111 13073 16 0 210700 0
vsize: 842864
[startup+150.152 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 20834
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 14136 46 0 0 25 0 11 0 491342809 863092736 24111 4294967295 134512640 134569956 3221224400 3221214696 1131602064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24111 13073 16 0 210700 0
vsize: 842864
[startup+160.153 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 20834
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 15125 47 0 0 25 0 11 0 491342809 863092736 24111 4294967295 134512640 134569956 3221224400 3221214592 1131558374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24111 13073 16 0 210700 0
vsize: 842864
[startup+170.154 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 20834
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 16118 47 0 0 25 0 11 0 491342809 863092736 24156 4294967295 134512640 134569956 3221224400 3221214696 1131602170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24156 13073 16 0 210700 0
vsize: 842864
[startup+180.154 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 20834
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 17106 47 0 0 25 0 11 0 491342809 863092736 24156 4294967295 134512640 134569956 3221224400 3221214512 1131362457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24156 13073 16 0 210700 0
vsize: 842864
[startup+190.161 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 20834
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 18092 48 0 0 24 0 11 0 491342809 863092736 24156 4294967295 134512640 134569956 3221224400 3221214512 1131362626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24156 13073 16 0 210700 0
vsize: 842864
[startup+200.161 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 20834
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 19081 48 0 0 25 0 11 0 491342809 863092736 24221 4294967295 134512640 134569956 3221224400 3221214512 1131362379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24221 13073 16 0 210700 0
vsize: 842864
[startup+210.161 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 20834
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 20069 48 0 0 25 0 11 0 491342809 863092736 24221 4294967295 134512640 134569956 3221224400 3221214512 1131362442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24221 13073 16 0 210700 0
vsize: 842864
[startup+220.162 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 20834
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 21052 48 0 0 25 0 11 0 491342809 863092736 24221 4294967295 134512640 134569956 3221224400 3221214592 1131556094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24221 13073 16 0 210700 0
vsize: 842864
[startup+230.198 s]
Raw data (loadavg): 1.07 0.99 0.92 3/65 20835
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 22038 49 0 0 25 0 11 0 491342809 863092736 24360 4294967295 134512640 134569956 3221224400 3221214592 1131555978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24360 13073 16 0 210700 0
vsize: 842864
[startup+240.202 s]
Raw data (loadavg): 1.22 1.02 0.93 3/67 20871
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 23018 52 0 0 25 0 11 0 491342809 863092736 24360 4294967295 134512640 134569956 3221224400 3221214592 1131557598 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210716 24360 13073 16 0 210700 0
vsize: 842864
[startup+250.205 s]
Raw data (loadavg): 1.26 1.04 0.94 2/64 20887
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 24005 53 0 0 25 0 11 0 491342809 863092736 24370 4294967295 134512640 134569956 3221224400 3221214512 1131362540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24370 13073 16 0 210700 0
vsize: 842864
[startup+260.21 s]
Raw data (loadavg): 1.22 1.03 0.94 2/64 20887
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 24990 53 0 0 25 0 11 0 491342809 863092736 24370 4294967295 134512640 134569956 3221224400 3221214624 1131418410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24370 13073 16 0 210700 0
vsize: 842864
[startup+270.21 s]
Raw data (loadavg): 1.18 1.03 0.94 2/64 20887
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 25978 54 0 0 25 0 11 0 491342809 863092736 24439 4294967295 134512640 134569956 3221224400 3221214592 1131556012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24439 13073 16 0 210700 0
vsize: 842864
[startup+280.222 s]
Raw data (loadavg): 1.15 1.03 0.94 2/64 20887
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 26965 55 0 0 25 0 11 0 491342809 863092736 24510 4294967295 134512640 134569956 3221224400 3221214512 1131362666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24510 13073 16 0 210700 0
vsize: 842864
[startup+290.223 s]
Raw data (loadavg): 1.13 1.03 0.94 2/64 20887
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 27951 55 0 0 25 0 11 0 491342809 863092736 24510 4294967295 134512640 134569956 3221224400 3221214512 1131362457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24510 13073 16 0 210700 0
vsize: 842864
[startup+300.223 s]
Raw data (loadavg): 1.11 1.03 0.94 2/64 20887
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 28936 56 0 0 25 0 11 0 491342809 863092736 24587 4294967295 134512640 134569956 3221224400 3221214512 1131362371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24587 13073 16 0 210700 0
vsize: 842864
[startup+310.223 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 20887
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 29926 56 0 0 25 0 11 0 491342809 863092736 24587 4294967295 134512640 134569956 3221224400 3221214592 1131556643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24587 13073 16 0 210700 0
vsize: 842864
[startup+320.224 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 30918 56 0 0 25 0 11 0 491342809 863092736 24653 4294967295 134512640 134569956 3221224400 3221214604 1131189573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24653 13073 16 0 210700 0
vsize: 842864
[startup+330.223 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 31911 57 0 0 25 0 11 0 491342809 863092736 24653 4294967295 134512640 134569956 3221224400 3221214704 1131605412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24653 13073 16 0 210700 0
vsize: 842864
[startup+340.224 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 32904 58 0 0 25 0 11 0 491342809 863092736 24709 4294967295 134512640 134569956 3221224400 3221214592 1131556009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24709 13073 16 0 210700 0
vsize: 842864
[startup+350.225 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 33896 58 0 0 25 0 11 0 491342809 863092736 24719 4294967295 134512640 134569956 3221224400 3221214592 1131557636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24719 13073 16 0 210700 0
vsize: 842864
[startup+360.225 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 34891 59 0 0 25 0 11 0 491342809 863092736 24719 4294967295 134512640 134569956 3221224400 3221214704 1131605412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24719 13073 16 0 210700 0
vsize: 842864
[startup+370.226 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 35884 59 0 0 25 0 11 0 491342809 863092736 24728 4294967295 134512640 134569956 3221224400 3221214704 1131605415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24728 13073 16 0 210700 0
vsize: 842864
[startup+380.226 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 36876 59 0 0 25 0 11 0 491342809 863092736 24728 4294967295 134512640 134569956 3221224400 3221214512 1131362379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24728 13073 16 0 210700 0
vsize: 842864
[startup+390.226 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 37869 60 0 0 25 0 11 0 491342809 863092736 24785 4294967295 134512640 134569956 3221224400 3221214704 1131605415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24785 13073 16 0 210700 0
vsize: 842864
[startup+400.227 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 38862 60 0 0 25 0 11 0 491342809 863092736 24785 4294967295 134512640 134569956 3221224400 3221214696 1131602080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24785 13073 16 0 210700 0
vsize: 842864
[startup+410.227 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 39856 60 0 0 25 0 11 0 491342809 863092736 24795 4294967295 134512640 134569956 3221224400 3221214696 1131602224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24795 13073 16 0 210700 0
vsize: 842864
[startup+420.227 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 40846 61 0 0 25 0 11 0 491342809 863092736 24795 4294967295 134512640 134569956 3221224400 3221214696 1131602087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24795 13073 16 0 210700 0
vsize: 842864
[startup+430.227 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 41835 61 0 0 25 0 11 0 491342809 863092736 24795 4294967295 134512640 134569956 3221224400 3221214512 1131362718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24795 13073 16 0 210700 0
vsize: 842864
[startup+440.228 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 42829 62 0 0 25 0 11 0 491342809 863092736 24853 4294967295 134512640 134569956 3221224400 3221214608 1131351583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24853 13073 16 0 210700 0
vsize: 842864
[startup+450.228 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 43821 62 0 0 25 0 11 0 491342809 863092736 24853 4294967295 134512640 134569956 3221224400 3221214504 1131362379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24853 13073 16 0 210700 0
vsize: 842864
[startup+460.229 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 44811 63 0 0 25 0 11 0 491342809 863092736 24853 4294967295 134512640 134569956 3221224400 3221214696 1131602084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24853 13073 16 0 210700 0
vsize: 842864
[startup+470.229 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 45803 63 0 0 25 0 11 0 491342809 863092736 24925 4294967295 134512640 134569956 3221224400 3221214600 1131189550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24925 13073 16 0 210700 0
vsize: 842864
[startup+480.23 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 46793 64 0 0 25 0 11 0 491342809 863092736 24925 4294967295 134512640 134569956 3221224400 3221214704 1131605415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24925 13073 16 0 210700 0
vsize: 842864
[startup+490.231 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 47778 64 0 0 25 0 11 0 491342809 863092736 24935 4294967295 134512640 134569956 3221224400 3221214592 1131556001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24935 13073 16 0 210700 0
vsize: 842864
[startup+500.231 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 48761 65 0 0 25 0 11 0 491342809 863092736 24935 4294967295 134512640 134569956 3221224400 3221214604 1131362240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24935 13073 16 0 210700 0
vsize: 842864
[startup+510.231 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 49750 65 0 0 25 0 11 0 491342809 863092736 24956 4294967295 134512640 134569956 3221224400 3221214696 1131602087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 24956 13073 16 0 210700 0
vsize: 842864
[startup+520.231 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 50737 66 0 0 25 0 11 0 491342809 863092736 25011 4294967295 134512640 134569956 3221224400 3221214512 1131362586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25011 13073 16 0 210700 0
vsize: 842864
[startup+530.231 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 51724 66 0 0 25 0 11 0 491342809 863092736 25074 4294967295 134512640 134569956 3221224400 3221214512 1131362302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25074 13073 16 0 210700 0
vsize: 842864
[startup+540.231 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 52718 67 0 0 25 0 11 0 491342809 863092736 25154 4294967295 134512640 134569956 3221224400 3221214696 1131602087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25154 13073 16 0 210700 0
vsize: 842864
[startup+550.232 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 53713 67 0 0 25 0 11 0 491342809 863092736 25154 4294967295 134512640 134569956 3221224400 3221214704 1131605575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25154 13073 16 0 210700 0
vsize: 842864
[startup+560.232 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 54709 68 0 0 25 0 11 0 491342809 863092736 25164 4294967295 134512640 134569956 3221224400 3221214608 1131351517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25164 13073 16 0 210700 0
vsize: 842864
[startup+570.233 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 55699 68 0 0 25 0 11 0 491342809 863092736 25164 4294967295 134512640 134569956 3221224400 3221214704 1131605567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25164 13073 16 0 210700 0
vsize: 842864
[startup+580.234 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 56693 69 0 0 25 0 11 0 491342809 863092736 25164 4294967295 134512640 134569956 3221224400 3221214696 1131602098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25164 13073 16 0 210700 0
vsize: 842864
[startup+590.234 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 20889
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 57683 69 0 0 25 0 11 0 491342809 863092736 25173 4294967295 134512640 134569956 3221224400 3221214592 1131557642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25173 13073 16 0 210700 0
vsize: 842864
[startup+600.234 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 58675 70 0 0 25 0 11 0 491342809 863092736 25173 4294967295 134512640 134569956 3221224400 3221214512 1131362580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25173 13073 16 0 210700 0
vsize: 842864
[startup+610.235 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 59666 70 0 0 25 0 11 0 491342809 863092736 25249 4294967295 134512640 134569956 3221224400 3221214740 1131605331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25249 13073 16 0 210700 0
vsize: 842864
[startup+620.236 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 60661 71 0 0 25 0 11 0 491342809 863092736 25249 4294967295 134512640 134569956 3221224400 3221214592 1131555968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25249 13073 16 0 210700 0
vsize: 842864
[startup+630.235 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 61653 71 0 0 25 0 11 0 491342809 863092736 25258 4294967295 134512640 134569956 3221224400 3221214696 1131602087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25258 13073 16 0 210700 0
vsize: 842864
[startup+640.237 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 62646 71 0 0 25 0 11 0 491342809 863092736 25258 4294967295 134512640 134569956 3221224400 3221214512 1131362302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25258 13073 16 0 210700 0
vsize: 842864
[startup+650.238 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 63637 72 0 0 24 0 11 0 491342809 863092736 25309 4294967295 134512640 134569956 3221224400 3221214600 1131189535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25309 13073 16 0 210700 0
vsize: 842864
[startup+660.237 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 64631 72 0 0 25 0 11 0 491342809 863092736 25309 4294967295 134512640 134569956 3221224400 3221214696 1131602087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25309 13073 16 0 210700 0
vsize: 842864
[startup+670.238 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 65616 73 0 0 25 0 11 0 491342809 863092736 25319 4294967295 134512640 134569956 3221224400 3221214696 1131602090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25319 13073 16 0 210700 0
vsize: 842864
[startup+680.239 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 66593 73 0 0 25 0 11 0 491342809 863092736 25319 4294967295 134512640 134569956 3221224400 3221214696 1131602207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25319 13073 16 0 210700 0
vsize: 842864
[startup+690.239 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 67567 74 0 0 25 0 11 0 491342809 863092736 25381 4294967295 134512640 134569956 3221224400 3221214592 1131556636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25381 13073 16 0 210700 0
vsize: 842864
[startup+700.24 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 20891
Raw data (stat): 20823 (java) S 20822 5897 5896 0 -1 0 18088 3 2 0 68544 74 0 0 25 0 11 0 491342809 863092736 25382 4294967295 134512640 134569956 3221224400 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25382 13073 16 0 210700 0
vsize: 842864
[startup+710.24 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 69521 75 0 0 25 0 11 0 491342809 863092736 25382 4294967295 134512640 134569956 3221224400 3221214696 1131602090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25382 13073 16 0 210700 0
vsize: 842864
[startup+720.241 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 70493 75 0 0 25 0 11 0 491342809 863092736 25585 4294967295 134512640 134569956 3221224400 3221214604 1131189484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25585 13073 16 0 210700 0
vsize: 842864
[startup+730.241 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 71478 75 0 0 25 0 11 0 491342809 863092736 25712 4294967295 134512640 134569956 3221224400 3221214512 1131362457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25712 13073 16 0 210700 0
vsize: 842864
[startup+740.241 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 72465 75 0 0 25 0 11 0 491342809 863092736 25783 4294967295 134512640 134569956 3221224400 3221214512 1131362457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25783 13073 16 0 210700 0
vsize: 842864
[startup+750.242 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 73452 76 0 0 25 0 11 0 491342809 863092736 25783 4294967295 134512640 134569956 3221224400 3221214696 1131602087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25783 13073 16 0 210700 0
vsize: 842864
[startup+760.243 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 74444 76 0 0 25 0 11 0 491342809 863092736 25851 4294967295 134512640 134569956 3221224400 3221214512 1131362672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25851 13073 16 0 210700 0
vsize: 842864
[startup+770.243 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 75437 77 0 0 25 0 11 0 491342809 863092736 25918 4294967295 134512640 134569956 3221224400 3221214512 1131362404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25918 13073 16 0 210700 0
vsize: 842864
[startup+780.243 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 76431 77 0 0 25 0 11 0 491342809 863092736 25918 4294967295 134512640 134569956 3221224400 3221214624 1131571539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25918 13073 16 0 210700 0
vsize: 842864
[startup+790.244 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 77428 77 0 0 25 0 11 0 491342809 863092736 25927 4294967295 134512640 134569956 3221224400 3221214696 1131602076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25927 13073 16 0 210700 0
vsize: 842864
[startup+800.245 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 78417 77 0 0 25 0 11 0 491342809 863092736 25927 4294967295 134512640 134569956 3221224400 3221214512 1131362302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210716 25927 13073 16 0 210700 0
vsize: 842864
[startup+810.245 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 79405 78 0 0 25 0 11 0 491342809 863092736 25946 4294967295 134512640 134569956 3221224400 3221214696 1131602076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25946 13073 16 0 210700 0
vsize: 842864
[startup+820.247 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 80390 79 0 0 25 0 11 0 491342809 863092736 25946 4294967295 134512640 134569956 3221224400 3221214592 1131556651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25946 13073 16 0 210700 0
vsize: 842864
[startup+830.247 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 81374 79 0 0 25 0 11 0 491342809 863092736 25946 4294967295 134512640 134569956 3221224400 3221214592 1131557337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25946 13073 16 0 210700 0
vsize: 842864
[startup+840.248 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 82357 79 0 0 25 0 11 0 491342809 863092736 25946 4294967295 134512640 134569956 3221224400 3221214592 1131556094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 25946 13073 16 0 210700 0
vsize: 842864
[startup+850.248 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 83336 79 0 0 25 0 11 0 491342809 863092736 26089 4294967295 134512640 134569956 3221224400 3221214704 1131605415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 26089 13073 16 0 210700 0
vsize: 842864
[startup+860.249 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 84316 80 0 0 25 0 11 0 491342809 863092736 26161 4294967295 134512640 134569956 3221224400 3221214592 1131556654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 26161 13073 16 0 210700 0
vsize: 842864
[startup+870.249 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 85300 80 0 0 25 0 11 0 491342809 863092736 26161 4294967295 134512640 134569956 3221224400 3221214704 1131605526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 26161 13073 16 0 210700 0
vsize: 842864
[startup+880.249 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 86280 81 0 0 24 0 11 0 491342809 863092736 26216 4294967295 134512640 134569956 3221224400 3221214696 1131602087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 26216 13073 16 0 210700 0
vsize: 842864
[startup+890.25 s]
Raw data (loadavg): 1.06 1.02 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 87266 81 0 0 25 0 11 0 491342809 863092736 26277 4294967295 134512640 134569956 3221224400 3221214512 1131362363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 26277 13073 16 0 210700 0
vsize: 842864
[startup+900.25 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 88249 81 0 0 25 0 11 0 491342809 863092736 26287 4294967295 134512640 134569956 3221224400 3221214512 1131362371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 26287 13073 16 0 210700 0
vsize: 842864
[startup+910.25 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 89239 82 0 0 25 0 11 0 491342809 863092736 26411 4294967295 134512640 134569956 3221224400 3221214592 1131556089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 26411 13073 16 0 210700 0
vsize: 842864
[startup+920.25 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 90230 82 0 0 25 0 11 0 491342809 863092736 26477 4294967295 134512640 134569956 3221224400 3221214512 1131362302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 26477 13073 16 0 210700 0
vsize: 842864
[startup+930.251 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 91223 82 0 0 25 0 11 0 491342809 863092736 26477 4294967295 134512640 134569956 3221224400 3221214476 1131580275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 26477 13073 16 0 210700 0
vsize: 842864
[startup+940.252 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 92204 83 0 0 25 0 11 0 491342809 863092736 26477 4294967295 134512640 134569956 3221224400 3221214592 1131556012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 26477 13073 16 0 210700 0
vsize: 842864
[startup+950.253 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 93186 83 0 0 25 0 11 0 491342809 863092736 26538 4294967295 134512640 134569956 3221224400 3221214592 1131556737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 26538 13073 16 0 210700 0
vsize: 842864
[startup+960.253 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 94166 83 0 0 25 0 11 0 491342809 863092736 26548 4294967295 134512640 134569956 3221224400 3221214272 1080217364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 26548 13073 16 0 210700 0
vsize: 842864
[startup+970.254 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 95146 83 0 0 25 0 11 0 491342809 863092736 26548 4294967295 134512640 134569956 3221224400 3221214696 1131602092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 26548 13073 16 0 210700 0
vsize: 842864
[startup+980.255 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 96127 84 0 0 25 0 11 0 491342809 863092736 26548 4294967295 134512640 134569956 3221224400 3221214512 1131362302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 26548 13073 16 0 210700 0
vsize: 842864
[startup+990.255 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 97106 84 0 0 25 0 11 0 491342809 863092736 26814 4294967295 134512640 134569956 3221224400 3221214592 1131556643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 26814 13073 16 0 210700 0
vsize: 842864
[startup+1000.26 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 98094 85 0 0 25 0 11 0 491342809 863092736 26814 4294967295 134512640 134569956 3221224400 3221214704 1131605415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 26814 13073 16 0 210700 0
vsize: 842864
[startup+1010.26 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 99076 85 0 0 25 0 11 0 491342809 863092736 26824 4294967295 134512640 134569956 3221224400 3221214648 1131571169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 26824 13073 16 0 210700 0
vsize: 842864
[startup+1020.26 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 100057 85 0 0 25 0 11 0 491342809 863092736 26901 4294967295 134512640 134569956 3221224400 3221214656 1131351578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 26901 13073 16 0 210700 0
vsize: 842864
[startup+1030.26 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 101044 85 0 0 25 0 11 0 491342809 863092736 26901 4294967295 134512640 134569956 3221224400 3221214704 1131605526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 26901 13073 16 0 210700 0
vsize: 842864
[startup+1040.26 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 102030 86 0 0 25 0 11 0 491342809 863092736 27006 4294967295 134512640 134569956 3221224400 3221214512 1131362302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 27006 13073 16 0 210700 0
vsize: 842864
[startup+1050.26 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 103018 86 0 0 25 0 11 0 491342809 863092736 27074 4294967295 134512640 134569956 3221224400 3221214592 1131556001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 27074 13073 16 0 210700 0
vsize: 842864
[startup+1060.26 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 104008 87 0 0 25 0 11 0 491342809 863092736 27074 4294967295 134512640 134569956 3221224400 3221214696 1131602087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 27074 13073 16 0 210700 0
vsize: 842864
[startup+1070.26 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 104994 87 0 0 25 0 11 0 491342809 863092736 27136 4294967295 134512640 134569956 3221224400 3221214512 1131362371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 27136 13073 16 0 210700 0
vsize: 842864
[startup+1080.26 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 105979 87 0 0 25 0 11 0 491342809 863092736 27146 4294967295 134512640 134569956 3221224400 3221214512 1131362457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 27146 13073 16 0 210700 0
vsize: 842864
[startup+1090.26 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 106964 87 0 0 25 0 11 0 491342809 863092736 27146 4294967295 134512640 134569956 3221224400 3221214592 1131558371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 27146 13073 16 0 210700 0
vsize: 842864
[startup+1100.26 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 107940 88 0 0 25 0 11 0 491342809 863092736 27146 4294967295 134512640 134569956 3221224400 3221214592 1131557552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 27146 13073 16 0 210700 0
vsize: 842864
[startup+1110.26 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 108912 88 0 0 24 0 11 0 491342809 863092736 27281 4294967295 134512640 134569956 3221224400 3221214696 1131602087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 27281 13073 16 0 210700 0
vsize: 842864
[startup+1120.26 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 109894 88 0 0 25 0 11 0 491342809 863092736 27367 4294967295 134512640 134569956 3221224400 3221214592 1131556012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 27367 13073 16 0 210700 0
vsize: 842864
[startup+1130.26 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 110873 88 0 0 25 0 11 0 491342809 863092736 27367 4294967295 134512640 134569956 3221224400 3221214512 1131362666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 27367 13073 16 0 210700 0
vsize: 842864
[startup+1140.26 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 111855 88 0 0 25 0 11 0 491342809 863092736 27386 4294967295 134512640 134569956 3221224400 3221214592 1131557686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 27386 13073 16 0 210700 0
vsize: 842864
[startup+1150.26 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 112833 88 0 0 25 0 11 0 491342809 863092736 27558 4294967295 134512640 134569956 3221224400 3221214592 1131556643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 27558 13073 16 0 210700 0
vsize: 842864
[startup+1160.26 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 113825 89 0 0 25 0 11 0 491342809 863092736 27614 4294967295 134512640 134569956 3221224400 3221214696 1131602080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 27614 13073 16 0 210700 0
vsize: 842864
[startup+1170.26 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 114818 89 0 0 25 0 11 0 491342809 863092736 27625 4294967295 134512640 134569956 3221224400 3221214512 1131362300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 27625 13073 16 0 210700 0
vsize: 842864
[startup+1180.26 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 115810 89 0 0 25 0 11 0 491342809 863092736 27682 4294967295 134512640 134569956 3221224400 3221214512 1131362457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 27682 13073 16 0 210700 0
vsize: 842864
[startup+1190.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 116802 89 0 0 25 0 11 0 491342809 863092736 27682 4294967295 134512640 134569956 3221224400 3221214696 1131602087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210716 27682 13073 16 0 210700 0
vsize: 842864
[startup+1200.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 117790 90 0 0 25 0 11 0 491342809 863092736 27692 4294967295 134512640 134569956 3221224400 3221214752 1131356611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 27692 13073 16 0 210700 0
vsize: 842864
[startup+1210.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 118778 91 0 0 25 0 11 0 491342809 863092736 27692 4294967295 134512640 134569956 3221224400 3221214608 1131349520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 27692 13073 16 0 210700 0
vsize: 842864
[startup+1220.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 119760 91 0 0 25 0 11 0 491342809 863092736 27692 4294967295 134512640 134569956 3221224400 3221214592 1131558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 27692 13073 16 0 210700 0
vsize: 842864
[startup+1230.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20891
Raw data (stat): 20823 (java) R 20822 5897 5896 0 -1 0 18088 3 2 0 120743 92 0 0 24 0 11 0 491342809 863092736 27752 4294967295 134512640 134569956 3221224400 3221214592 1131556647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210716 27752 13073 16 0 210700 0
vsize: 842864
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.48 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 20893
Raw data (stat): 20823 (java) Z 20822 5897 5896 0 -1 1036 18088 12156 2 1 120757 97 3331 34 24 0 1 0 491342809 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.48
CPU time (s): 1242.2
CPU user time (s): 1240.89
CPU system time (s): 1.3128
CPU usage (%): 100.953
Max. virtual memory (Kb): 842864
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####