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-10teams.opb
MD5SUM	1ff3cc3253012886aa21be4feac6111e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	924
Optimality of the best value was proved	NO
Number of terms in the objective function	1800
Biggest coefficient in the objective function	86
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	41700
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	86
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	41700
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.71
Number of variables	1800
Total number of constraints	2015
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2015
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	72
Trace number 21948

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-04-22 01:34:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12385 boxname=wulflinc10 idbench=953 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  1ff3cc3253012886aa21be4feac6111e  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-10teams.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-10teams.opb
IDLAUNCH: 12385
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        480656 kB
Buffers:         26572 kB
Cached:         505256 kB
SwapCached:          0 kB
Active:          38792 kB
Inactive:       495504 kB
HighTotal:      131008 kB
HighFree:        25900 kB
LowTotal:       903652 kB
LowFree:        454756 kB
SwapTotal:     2097136 kB
SwapFree:      2096784 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6412 kB
Slab:            13860 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 01:55:42 (client local time) WITH STATUS 143 IN 1257.31 SECONDS
stats: 12385 7 1257.31 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-10teams.opb
c reading problem 
c [nbvar=1800]
c [nbconstr=2015]
c time 4.889
c #vars     1800
c #clauses  335
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.95 2/54 7940
Raw data (stat): 7940 (runsolver) R 7939 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 491585799 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.0008 s]
Raw data (loadavg): 1.17 1.00 0.96 3/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18104 0 1 0 697 43 0 0 25 0 11 0 491585799 863117312 20983 4294967295 134512640 134569956 3221224400 3221214824 1131281383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210722 20983 13073 16 0 210706 0
vsize: 842888
[startup+20.0019 s]
Raw data (loadavg): 1.14 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18106 0 1 0 1635 43 0 0 25 0 11 0 491585799 862494720 21677 4294967295 134512640 134569956 3221224400 3221214232 1131177551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 21677 13073 16 0 210554 0
vsize: 842280
[startup+30.0026 s]
Raw data (loadavg): 1.12 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18106 0 1 0 2556 44 0 0 25 0 11 0 491585799 862494720 22353 4294967295 134512640 134569956 3221224400 3221214696 1131263035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 22353 13073 16 0 210554 0
vsize: 842280
[startup+40.0031 s]
Raw data (loadavg): 1.10 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18106 0 1 0 3486 44 0 0 25 0 11 0 491585799 862494720 22641 4294967295 134512640 134569956 3221224400 3221214544 1131521880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 22641 13073 16 0 210554 0
vsize: 842280
[startup+50.0039 s]
Raw data (loadavg): 1.08 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18106 0 1 0 4422 44 0 0 25 0 11 0 491585799 862494720 22668 4294967295 134512640 134569956 3221224400 3221214560 1131262251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 22668 13073 16 0 210554 0
vsize: 842280
[startup+60.0032 s]
Raw data (loadavg): 1.07 1.00 0.96 3/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18106 0 1 0 5352 44 0 0 25 0 11 0 491585799 862494720 22897 4294967295 134512640 134569956 3221224400 3221214300 1130919780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 22897 13073 16 0 210554 0
vsize: 842280
[startup+70.0038 s]
Raw data (loadavg): 1.06 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18106 0 1 0 6278 44 0 0 25 0 11 0 491585799 862494720 23209 4294967295 134512640 134569956 3221224400 3221214384 1078830606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 23209 13073 16 0 210554 0
vsize: 842280
[startup+80.0043 s]
Raw data (loadavg): 1.05 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18106 0 1 0 7233 44 0 0 25 0 11 0 491585799 862494720 23372 4294967295 134512640 134569956 3221224400 3221214560 1131521456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 23372 13073 16 0 210554 0
vsize: 842280
[startup+90.0386 s]
Raw data (loadavg): 1.04 1.00 0.96 3/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 8179 44 0 0 25 0 11 0 491585799 870883328 25574 4294967295 134512640 134569956 3221224400 3221214532 1131405292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212618 25574 13073 16 0 212602 0
vsize: 850472
[startup+100.039 s]
Raw data (loadavg): 1.04 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 9132 44 0 0 25 0 11 0 491585799 868786176 25281 4294967295 134512640 134569956 3221224400 3221214776 1131434932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212106 25281 13073 16 0 212090 0
vsize: 848424
[startup+110.041 s]
Raw data (loadavg): 1.03 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 10089 45 0 0 25 0 11 0 491585799 868786176 25420 4294967295 134512640 134569956 3221224400 3221214552 1131260921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212106 25420 13073 16 0 212090 0
vsize: 848424
[startup+120.042 s]
Raw data (loadavg): 1.02 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 11049 45 0 0 25 0 11 0 491585799 868786176 25500 4294967295 134512640 134569956 3221224400 3221214552 1131262163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212106 25500 13073 16 0 212090 0
vsize: 848424
[startup+130.041 s]
Raw data (loadavg): 1.02 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 12006 45 0 0 25 0 11 0 491585799 868786176 25648 4294967295 134512640 134569956 3221224400 3221214644 1131290665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212106 25648 13073 16 0 212090 0
vsize: 848424
[startup+140.042 s]
Raw data (loadavg): 1.02 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 12976 45 0 0 25 0 11 0 491585799 868786176 25766 4294967295 134512640 134569956 3221224400 3221214648 1131563887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212106 25766 13073 16 0 212090 0
vsize: 848424
[startup+150.042 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 13948 46 0 0 25 0 11 0 491585799 868786176 25846 4294967295 134512640 134569956 3221224400 3221214536 1131521536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212106 25846 13073 16 0 212090 0
vsize: 848424
[startup+160.042 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 14913 46 0 0 25 0 11 0 491585799 868786176 25959 4294967295 134512640 134569956 3221224400 3221214776 1131434935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212106 25959 13073 16 0 212090 0
vsize: 848424
[startup+170.043 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 15879 46 0 0 25 0 11 0 491585799 862494720 24477 4294967295 134512640 134569956 3221224400 3221214680 1131246548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24477 13073 16 0 210554 0
vsize: 842280
[startup+180.043 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 16832 47 0 0 25 0 11 0 491585799 862494720 24567 4294967295 134512640 134569956 3221224400 3221214776 1131436016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24567 13073 16 0 210554 0
vsize: 842280
[startup+190.045 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 17776 47 0 0 25 0 11 0 491585799 862494720 24666 4294967295 134512640 134569956 3221224400 3221214592 1131399921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24666 13073 16 0 210554 0
vsize: 842280
[startup+200.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 18720 47 0 0 25 0 11 0 491585799 862494720 24730 4294967295 134512640 134569956 3221224400 3221214640 1131575637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24730 13073 16 0 210554 0
vsize: 842280
[startup+210.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 19661 48 0 0 25 0 11 0 491585799 862494720 24889 4294967295 134512640 134569956 3221224400 3221214792 1131339058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 24889 13073 16 0 210554 0
vsize: 842280
[startup+220.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 20602 48 0 0 25 0 11 0 491585799 862494720 25008 4294967295 134512640 134569956 3221224400 3221214552 1131262203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 25008 13073 16 0 210554 0
vsize: 842280
[startup+230.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 21543 48 0 0 25 0 11 0 491585799 862494720 25200 4294967295 134512640 134569956 3221224400 3221214552 1131263020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 25200 13073 16 0 210554 0
vsize: 842280
[startup+240.046 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 22494 48 0 0 25 0 11 0 491585799 862494720 25374 4294967295 134512640 134569956 3221224400 3221214624 1131290717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 25374 13073 16 0 210554 0
vsize: 842280
[startup+250.046 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 23432 48 0 0 25 0 11 0 491585799 862494720 25528 4294967295 134512640 134569956 3221224400 3221214536 1131521456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 25528 13073 16 0 210554 0
vsize: 842280
[startup+260.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 24377 49 0 0 25 0 11 0 491585799 862494720 25665 4294967295 134512640 134569956 3221224400 3221214728 1131313322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 25665 13073 16 0 210554 0
vsize: 842280
[startup+270.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 25322 49 0 0 25 0 11 0 491585799 862494720 25819 4294967295 134512640 134569956 3221224400 3221214536 1131521883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 25819 13073 16 0 210554 0
vsize: 842280
[startup+280.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 26279 49 0 0 25 0 11 0 491585799 862494720 25960 4294967295 134512640 134569956 3221224400 3221214792 1131341292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 25960 13073 16 0 210554 0
vsize: 842280
[startup+290.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 27228 50 0 0 25 0 11 0 491585799 862494720 26083 4294967295 134512640 134569956 3221224400 3221214824 1131303835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 26083 13073 16 0 210554 0
vsize: 842280
[startup+300.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 28178 50 0 0 25 0 11 0 491585799 862494720 26232 4294967295 134512640 134569956 3221224400 3221214776 1131435035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 26232 13073 16 0 210554 0
vsize: 842280
[startup+310.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 29114 50 0 0 25 0 11 0 491585799 862494720 26400 4294967295 134512640 134569956 3221224400 3221214680 1131247081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 26400 13073 16 0 210554 0
vsize: 842280
[startup+320.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 30065 51 0 0 25 0 11 0 491585799 862494720 26514 4294967295 134512640 134569956 3221224400 3221214536 1131521895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 26514 13073 16 0 210554 0
vsize: 842280
[startup+330.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 31023 51 0 0 25 0 11 0 491585799 862494720 26584 4294967295 134512640 134569956 3221224400 3221214776 1131434897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 26584 13073 16 0 210554 0
vsize: 842280
[startup+340.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 31980 51 0 0 25 0 11 0 491585799 862494720 26767 4294967295 134512640 134569956 3221224400 3221214384 1080217376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 26767 13073 16 0 210554 0
vsize: 842280
[startup+350.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 32937 52 0 0 25 0 11 0 491585799 862494720 26877 4294967295 134512640 134569956 3221224400 3221214624 1131290729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 26877 13073 16 0 210554 0
vsize: 842280
[startup+360.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 33895 52 0 0 25 0 11 0 491585799 862494720 26963 4294967295 134512640 134569956 3221224400 3221214552 1131262293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 26963 13073 16 0 210554 0
vsize: 842280
[startup+370.059 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 34863 53 0 0 25 0 11 0 491585799 862494720 27101 4294967295 134512640 134569956 3221224400 3221214680 1131247180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 27101 13073 16 0 210554 0
vsize: 842280
[startup+380.074 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) S 7939 25347 25346 0 -1 0 18108 0 1 0 35826 53 0 0 25 0 11 0 491585799 862494720 27224 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 27224 13073 16 0 210554 0
vsize: 842280
[startup+390.095 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 36794 53 0 0 24 0 11 0 491585799 862494720 27326 4294967295 134512640 134569956 3221224400 3221214688 1131373371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 27326 13073 16 0 210554 0
vsize: 842280
[startup+400.108 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) S 7939 25347 25346 0 -1 0 18108 0 1 0 37766 54 0 0 25 0 11 0 491585799 862494720 27385 4294967295 134512640 134569956 3221224400 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 27385 13073 16 0 210554 0
vsize: 842280
[startup+410.108 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 38736 54 0 0 25 0 11 0 491585799 862494720 27407 4294967295 134512640 134569956 3221224400 3221214680 1131246621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 27407 13073 16 0 210554 0
vsize: 842280
[startup+420.108 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 39695 54 0 0 25 0 11 0 491585799 862494720 27516 4294967295 134512640 134569956 3221224400 3221214680 1131246411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 27516 13073 16 0 210554 0
vsize: 842280
[startup+430.109 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) S 7939 25347 25346 0 -1 0 18108 0 1 0 40649 55 0 0 25 0 11 0 491585799 862494720 27643 4294967295 134512640 134569956 3221224400 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 27644 13073 16 0 210554 0
vsize: 842280
[startup+440.109 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 41609 56 0 0 25 0 11 0 491585799 862494720 27696 4294967295 134512640 134569956 3221224400 3221214728 1131246576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 27696 13073 16 0 210554 0
vsize: 842280
[startup+450.109 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 42557 56 0 0 25 0 11 0 491585799 862494720 27777 4294967295 134512640 134569956 3221224400 3221214552 1131262333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 27777 13073 16 0 210554 0
vsize: 842280
[startup+460.109 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 43511 56 0 0 25 0 11 0 491585799 862494720 27883 4294967295 134512640 134569956 3221224400 3221214680 1131246304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 27883 13073 16 0 210554 0
vsize: 842280
[startup+470.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) S 7939 25347 25346 0 -1 0 18108 0 1 0 44459 57 0 0 25 0 11 0 491585799 862494720 28025 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 28025 13073 16 0 210554 0
vsize: 842280
[startup+480.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 45406 58 0 0 24 0 11 0 491585799 862494720 28141 4294967295 134512640 134569956 3221224400 3221214644 1131260915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 28141 13073 16 0 210554 0
vsize: 842280
[startup+490.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 46369 58 0 0 25 0 11 0 491585799 862494720 28248 4294967295 134512640 134569956 3221224400 3221214552 1131262253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 28248 13073 16 0 210554 0
vsize: 842280
[startup+500.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 47327 58 0 0 25 0 11 0 491585799 862494720 28346 4294967295 134512640 134569956 3221224400 3221214776 1131434928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 28346 13073 16 0 210554 0
vsize: 842280
[startup+510.111 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 48280 59 0 0 25 0 11 0 491585799 862494720 28483 4294967295 134512640 134569956 3221224400 3221214644 1131260908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 28483 13073 16 0 210554 0
vsize: 842280
[startup+520.111 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 49230 59 0 0 25 0 11 0 491585799 862494720 28582 4294967295 134512640 134569956 3221224400 3221214648 1131563887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 28582 13073 16 0 210554 0
vsize: 842280
[startup+530.111 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 50183 60 0 0 25 0 11 0 491585799 862494720 28693 4294967295 134512640 134569956 3221224400 3221214648 1131563972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 28693 13073 16 0 210554 0
vsize: 842280
[startup+540.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 51139 60 0 0 25 0 11 0 491585799 862494720 28793 4294967295 134512640 134569956 3221224400 3221214776 1131456912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 28793 13073 16 0 210554 0
vsize: 842280
[startup+550.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 52091 61 0 0 25 0 11 0 491585799 862494720 28968 4294967295 134512640 134569956 3221224400 3221214776 1131434901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 28968 13073 16 0 210554 0
vsize: 842280
[startup+560.111 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 53056 61 0 0 25 0 11 0 491585799 862494720 29011 4294967295 134512640 134569956 3221224400 3221214552 1131262293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 29011 13073 16 0 210554 0
vsize: 842280
[startup+570.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 54019 61 0 0 25 0 11 0 491585799 862494720 29067 4294967295 134512640 134569956 3221224400 3221214776 1131434935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 29067 13073 16 0 210554 0
vsize: 842280
[startup+580.111 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 54973 61 0 0 25 0 11 0 491585799 862494720 29173 4294967295 134512640 134569956 3221224400 3221214680 1131246045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 29173 13073 16 0 210554 0
vsize: 842280
[startup+590.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 55930 61 0 0 25 0 11 0 491585799 862494720 29273 4294967295 134512640 134569956 3221224400 3221214680 1131246621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 29273 13073 16 0 210554 0
vsize: 842280
[startup+600.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) S 7939 25347 25346 0 -1 0 18108 0 1 0 56883 62 0 0 25 0 11 0 491585799 862494720 29368 4294967295 134512640 134569956 3221224400 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 29368 13073 16 0 210554 0
vsize: 842280
[startup+610.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 57846 62 0 0 25 0 11 0 491585799 862494720 29483 4294967295 134512640 134569956 3221224400 3221214776 1131434935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 29483 13073 16 0 210554 0
vsize: 842280
[startup+620.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 58804 62 0 0 25 0 11 0 491585799 862494720 29578 4294967295 134512640 134569956 3221224400 3221214680 1131247180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 29578 13073 16 0 210554 0
vsize: 842280
[startup+630.111 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 59762 62 0 0 25 0 11 0 491585799 862494720 29650 4294967295 134512640 134569956 3221224400 3221214536 1131521660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 29650 13073 16 0 210554 0
vsize: 842280
[startup+640.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 60720 62 0 0 25 0 11 0 491585799 862494720 29737 4294967295 134512640 134569956 3221224400 3221214792 1131338977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 29737 13073 16 0 210554 0
vsize: 842280
[startup+650.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 61671 62 0 0 25 0 11 0 491585799 862494720 29816 4294967295 134512640 134569956 3221224400 3221214728 1131313299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 29816 13073 16 0 210554 0
vsize: 842280
[startup+660.111 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 62622 62 0 0 25 0 11 0 491585799 862494720 29927 4294967295 134512640 134569956 3221224400 3221214648 1131563985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 29927 13073 16 0 210554 0
vsize: 842280
[startup+670.111 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 63579 63 0 0 25 0 11 0 491585799 862494720 30008 4294967295 134512640 134569956 3221224400 3221214836 1131454883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 30008 13073 16 0 210554 0
vsize: 842280
[startup+680.111 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 64540 63 0 0 25 0 11 0 491585799 862494720 30166 4294967295 134512640 134569956 3221224400 3221214552 1131262333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 30166 13073 16 0 210554 0
vsize: 842280
[startup+690.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 65493 63 0 0 25 0 11 0 491585799 862494720 30271 4294967295 134512640 134569956 3221224400 3221214680 1131247329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 30271 13073 16 0 210554 0
vsize: 842280
[startup+700.111 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 66452 64 0 0 25 0 11 0 491585799 862494720 30365 4294967295 134512640 134569956 3221224400 3221214792 1131338977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 30365 13073 16 0 210554 0
vsize: 842280
[startup+710.111 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 67411 65 0 0 25 0 11 0 491585799 862494720 30407 4294967295 134512640 134569956 3221224400 3221214648 1131563901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 30407 13073 16 0 210554 0
vsize: 842280
[startup+720.111 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 68367 65 0 0 25 0 11 0 491585799 862494720 30489 4294967295 134512640 134569956 3221224400 3221214824 1131303779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 30489 13073 16 0 210554 0
vsize: 842280
[startup+730.111 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 69319 65 0 0 25 0 11 0 491585799 862494720 30566 4294967295 134512640 134569956 3221224400 3221214624 1131290737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 30566 13073 16 0 210554 0
vsize: 842280
[startup+740.111 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 70268 66 0 0 25 0 11 0 491585799 862494720 30682 4294967295 134512640 134569956 3221224400 3221214680 1131246062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 30682 13073 16 0 210554 0
vsize: 842280
[startup+750.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 71221 66 0 0 25 0 11 0 491585799 862494720 30828 4294967295 134512640 134569956 3221224400 3221214552 1131262333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 30828 13073 16 0 210554 0
vsize: 842280
[startup+760.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 72178 66 0 0 25 0 11 0 491585799 862494720 30953 4294967295 134512640 134569956 3221224400 3221214680 1131262244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 30953 13073 16 0 210554 0
vsize: 842280
[startup+770.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 73140 67 0 0 25 0 11 0 491585799 862494720 31050 4294967295 134512640 134569956 3221224400 3221214680 1131247223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 31050 13073 16 0 210554 0
vsize: 842280
[startup+780.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 74101 67 0 0 25 0 11 0 491585799 862494720 31155 4294967295 134512640 134569956 3221224400 3221214156 1131577680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 31155 13073 16 0 210554 0
vsize: 842280
[startup+790.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 75068 68 0 0 25 0 11 0 491585799 862494720 31199 4294967295 134512640 134569956 3221224400 3221214680 1131246621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 31199 13073 16 0 210554 0
vsize: 842280
[startup+800.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 76027 68 0 0 25 0 11 0 491585799 862494720 31277 4294967295 134512640 134569956 3221224400 3221214624 1131290702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 31277 13073 16 0 210554 0
vsize: 842280
[startup+810.111 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 76986 68 0 0 25 0 11 0 491585799 862494720 31334 4294967295 134512640 134569956 3221224400 3221214552 1131262293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 31334 13073 16 0 210554 0
vsize: 842280
[startup+820.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 77960 68 0 0 25 0 11 0 491585799 862494720 31380 4294967295 134512640 134569956 3221224400 3221214824 1131304078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 31380 13073 16 0 210554 0
vsize: 842280
[startup+830.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 78922 69 0 0 25 0 11 0 491585799 862494720 31490 4294967295 134512640 134569956 3221224400 3221214776 1131434935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 31490 13073 16 0 210554 0
vsize: 842280
[startup+840.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 79883 69 0 0 25 0 11 0 491585799 862494720 31593 4294967295 134512640 134569956 3221224400 3221214776 1131436010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 31593 13073 16 0 210554 0
vsize: 842280
[startup+850.113 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 80840 69 0 0 25 0 11 0 491585799 862494720 31614 4294967295 134512640 134569956 3221224400 3221214680 1131247087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 31614 13073 16 0 210554 0
vsize: 842280
[startup+860.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 81797 70 0 0 25 0 11 0 491585799 862494720 31702 4294967295 134512640 134569956 3221224400 3221214776 1131435000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 31702 13073 16 0 210554 0
vsize: 842280
[startup+870.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 82755 70 0 0 25 0 11 0 491585799 862494720 31786 4294967295 134512640 134569956 3221224400 3221214680 1131246489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 31786 13073 16 0 210554 0
vsize: 842280
[startup+880.111 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 83711 71 0 0 25 0 11 0 491585799 862494720 31894 4294967295 134512640 134569956 3221224400 3221214776 1131436060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 31894 13073 16 0 210554 0
vsize: 842280
[startup+890.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 84664 71 0 0 25 0 11 0 491585799 862494720 31993 4294967295 134512640 134569956 3221224400 3221214680 1131247329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 31993 13073 16 0 210554 0
vsize: 842280
[startup+900.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 85621 71 0 0 25 0 11 0 491585799 862494720 32065 4294967295 134512640 134569956 3221224400 3221214536 1131521432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 32065 13073 16 0 210554 0
vsize: 842280
[startup+910.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 86572 72 0 0 25 0 11 0 491585799 862494720 32188 4294967295 134512640 134569956 3221224400 3221214776 1131437636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 32188 13073 16 0 210554 0
vsize: 842280
[startup+920.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 87529 72 0 0 25 0 11 0 491585799 862494720 32293 4294967295 134512640 134569956 3221224400 3221214552 1131262333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 32293 13073 16 0 210554 0
vsize: 842280
[startup+930.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 88484 72 0 0 25 0 11 0 491585799 862494720 32370 4294967295 134512640 134569956 3221224400 3221214776 1131436954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 32370 13073 16 0 210554 0
vsize: 842280
[startup+940.113 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 89434 72 0 0 25 0 11 0 491585799 862494720 32487 4294967295 134512640 134569956 3221224400 3221214552 1131262333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 32487 13073 16 0 210554 0
vsize: 842280
[startup+950.113 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 90392 73 0 0 25 0 11 0 491585799 862494720 32572 4294967295 134512640 134569956 3221224400 3221214680 1131246734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 32572 13073 16 0 210554 0
vsize: 842280
[startup+960.113 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 91346 73 0 0 24 0 11 0 491585799 862494720 32706 4294967295 134512640 134569956 3221224400 3221214264 1131578291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 32706 13073 16 0 210554 0
vsize: 842280
[startup+970.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 92304 73 0 0 25 0 11 0 491585799 862494720 32802 4294967295 134512640 134569956 3221224400 3221214536 1131521453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 32802 13073 16 0 210554 0
vsize: 842280
[startup+980.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 93267 73 0 0 25 0 11 0 491585799 862494720 32901 4294967295 134512640 134569956 3221224400 3221214680 1131246720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 32901 13073 16 0 210554 0
vsize: 842280
[startup+990.112 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 94230 73 0 0 25 0 11 0 491585799 862494720 32966 4294967295 134512640 134569956 3221224400 3221214776 1131434935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 32966 13073 16 0 210554 0
vsize: 842280
[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 95189 73 0 0 25 0 11 0 491585799 862494720 33048 4294967295 134512640 134569956 3221224400 3221214520 1131405321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 33048 13073 16 0 210554 0
vsize: 842280
[startup+1010.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 96158 74 0 0 25 0 11 0 491585799 862494720 33094 4294967295 134512640 134569956 3221224400 3221214488 1131577745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 33094 13073 16 0 210554 0
vsize: 842280
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 97121 74 0 0 25 0 11 0 491585799 862494720 33210 4294967295 134512640 134569956 3221224400 3221214776 1131434935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 33210 13073 16 0 210554 0
vsize: 842280
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 98087 75 0 0 25 0 11 0 491585799 862494720 33270 4294967295 134512640 134569956 3221224400 3221214792 1131340088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 33270 13073 16 0 210554 0
vsize: 842280
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 99050 75 0 0 25 0 11 0 491585799 862494720 33329 4294967295 134512640 134569956 3221224400 3221214680 1131246773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 33329 13073 16 0 210554 0
vsize: 842280
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 100013 76 0 0 25 0 11 0 491585799 862494720 33408 4294967295 134512640 134569956 3221224400 3221214648 1131563884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 33408 13073 16 0 210554 0
vsize: 842280
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 100974 76 0 0 25 0 11 0 491585799 862494720 33458 4294967295 134512640 134569956 3221224400 3221214680 1131246053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 33458 13073 16 0 210554 0
vsize: 842280
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 101935 76 0 0 25 0 11 0 491585799 862494720 33533 4294967295 134512640 134569956 3221224400 3221214776 1131434928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 33533 13073 16 0 210554 0
vsize: 842280
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 102897 76 0 0 25 0 11 0 491585799 862494720 33622 4294967295 134512640 134569956 3221224400 3221214776 1131435054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 33622 13073 16 0 210554 0
vsize: 842280
[startup+1090.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 103860 77 0 0 25 0 11 0 491585799 862494720 33699 4294967295 134512640 134569956 3221224400 3221214680 1131247248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 33699 13073 16 0 210554 0
vsize: 842280
[startup+1100.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 104823 77 0 0 25 0 11 0 491585799 862494720 33748 4294967295 134512640 134569956 3221224400 3221214640 1131575637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 33748 13073 16 0 210554 0
vsize: 842280
[startup+1110.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 105780 77 0 0 25 0 11 0 491585799 862494720 33846 4294967295 134512640 134569956 3221224400 3221214776 1131434935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 33846 13073 16 0 210554 0
vsize: 842280
[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 106740 77 0 0 25 0 11 0 491585799 862494720 33920 4294967295 134512640 134569956 3221224400 3221214680 1131246621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 33920 13073 16 0 210554 0
vsize: 842280
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 107708 78 0 0 25 0 11 0 491585799 862494720 33954 4294967295 134512640 134569956 3221224400 3221214680 1131246672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 33954 13073 16 0 210554 0
vsize: 842280
[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 108665 78 0 0 25 0 11 0 491585799 862494720 34035 4294967295 134512640 134569956 3221224400 3221214552 1131262189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 34035 13073 16 0 210554 0
vsize: 842280
[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 109624 78 0 0 25 0 11 0 491585799 862494720 34119 4294967295 134512640 134569956 3221224400 3221214544 1131577684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 34119 13073 16 0 210554 0
vsize: 842280
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 110584 79 0 0 25 0 11 0 491585799 862494720 34209 4294967295 134512640 134569956 3221224400 3221214536 1131521842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 34209 13073 16 0 210554 0
vsize: 842280
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) S 7939 25347 25346 0 -1 0 18108 0 1 0 111545 79 0 0 25 0 11 0 491585799 862494720 34315 4294967295 134512640 134569956 3221224400 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 34315 13073 16 0 210554 0
vsize: 842280
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 112508 79 0 0 25 0 11 0 491585799 862494720 34349 4294967295 134512640 134569956 3221224400 3221214624 1131290737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 34349 13073 16 0 210554 0
vsize: 842280
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 113472 80 0 0 25 0 11 0 491585799 862494720 34433 4294967295 134512640 134569956 3221224400 3221214680 1131246621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 34433 13073 16 0 210554 0
vsize: 842280
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 114431 80 0 0 25 0 11 0 491585799 862494720 34494 4294967295 134512640 134569956 3221224400 3221214776 1131436060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 34494 13073 16 0 210554 0
vsize: 842280
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 115389 80 0 0 25 0 11 0 491585799 862494720 34549 4294967295 134512640 134569956 3221224400 3221214584 1131325557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 34549 13073 16 0 210554 0
vsize: 842280
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 116356 81 0 0 25 0 11 0 491585799 862494720 34636 4294967295 134512640 134569956 3221224400 3221214552 1131263007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 34636 13073 16 0 210554 0
vsize: 842280
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 117312 81 0 0 24 0 11 0 491585799 862494720 34742 4294967295 134512640 134569956 3221224400 3221214776 1131434935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 34742 13073 16 0 210554 0
vsize: 842280
[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) S 7939 25347 25346 0 -1 0 18108 0 1 0 118272 81 0 0 25 0 11 0 491585799 862494720 34804 4294967295 134512640 134569956 3221224400 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 34804 13073 16 0 210554 0
vsize: 842280
[startup+1250.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 119229 82 0 0 25 0 11 0 491585799 862494720 34881 4294967295 134512640 134569956 3221224400 3221214680 1131246053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 34881 13073 16 0 210554 0
vsize: 842280
[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 7950
Raw data (stat): 7940 (java) R 7939 25347 25346 0 -1 0 18108 0 1 0 120186 82 0 0 25 0 11 0 491585799 862494720 34963 4294967295 134512640 134569956 3221224400 3221214552 1131262333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210570 34963 13073 16 0 210554 0
vsize: 842280
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.26 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 7952
Raw data (stat): 7940 (java) Z 7939 25347 25346 0 -1 1036 18108 14550 1 0 120188 82 5419 40 24 0 1 0 491585799 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): 1260.26
CPU time (s): 1257.31
CPU user time (s): 1256.08
CPU system time (s): 1.23281
CPU usage (%): 99.7661
Max. virtual memory (Kb): 850472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####