PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-qiu.opb
MD5SUM	d5e26ade9aa11867ede102dd2fb60449
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	5328
Biggest coefficient in the objective function	8885108736
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	4692033563496
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	8885108736
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	4692033563496
Number of bits of the biggest sum of numbers	43
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.138978
Number of variables	15888
Total number of constraints	1240
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	48
Number of constraints which are nor clauses,nor cardinality constraints	1192
Minimum length of a constraint	1
Maximum length of a constraint	3960
Trace number 15311

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-04-21 03:54:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17949 boxname=wulflinc19 idbench=1381 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  d5e26ade9aa11867ede102dd2fb60449  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-qiu.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-qiu.opb
IDLAUNCH: 17949
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        764032 kB
Buffers:         14056 kB
Cached:         228488 kB
SwapCached:        556 kB
Active:          79856 kB
Inactive:       164824 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        763780 kB
SwapTotal:     2097892 kB
SwapFree:      2096436 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5200 kB
Slab:            20312 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 04:15:07 (client local time) WITH STATUS 143 IN 1242.79 SECONDS
stats: 17949 7 1242.79 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-qiu.opb
c reading problem 
c [nbvar=15888]
c [nbconstr=1240]
c time 77.676
c #vars     15888
c #clauses  1325
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.85 0.94 0.91 2/55 19999
Raw data (stat): 19999 (runsolver) R 19998 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 541992308 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.0002 s]
Raw data (loadavg): 0.87 0.94 0.91 2/64 20008
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 17978 0 1 0 861 39 0 0 25 0 10 0 541992308 853950464 19202 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 19202 13073 16 0 208468 0
vsize: 833936
[startup+20.001 s]
Raw data (loadavg): 1.04 0.97 0.92 2/64 20008
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 17991 0 1 0 1654 39 0 0 25 0 10 0 541992308 860286976 21456 4294967295 134512640 134569956 3221224400 3221214440 1130883206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210031 21456 13073 16 0 210015 0
vsize: 840124
[startup+30.0036 s]
Raw data (loadavg): 1.03 0.97 0.92 2/64 20010
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 17991 0 1 0 2513 40 0 0 25 0 10 0 541992308 859385856 21783 4294967295 134512640 134569956 3221224400 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209811 21783 13073 16 0 209795 0
vsize: 839244
[startup+40.0048 s]
Raw data (loadavg): 1.03 0.97 0.92 2/64 20010
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 17992 0 1 0 3405 41 0 0 25 0 10 0 541992308 859385856 22165 4294967295 134512640 134569956 3221224400 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209811 22165 13073 16 0 209795 0
vsize: 839244
[startup+50.0093 s]
Raw data (loadavg): 1.02 0.97 0.92 2/64 20010
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 17992 0 1 0 4313 41 0 0 25 0 10 0 541992308 859385856 22354 4294967295 134512640 134569956 3221224400 3221214816 1131299315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209811 22354 13073 16 0 209795 0
vsize: 839244
[startup+60.0122 s]
Raw data (loadavg): 1.02 0.97 0.92 2/64 20010
Raw data (stat): 19999 (java) S 19998 22929 22928 0 -1 0 17992 0 1 0 5217 42 0 0 25 0 10 0 541992308 859385856 22533 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209811 22533 13073 16 0 209795 0
vsize: 839244
[startup+70.0151 s]
Raw data (loadavg): 1.01 0.97 0.92 2/64 20010
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 17992 0 1 0 6132 42 0 0 21 0 10 0 541992308 859385856 22753 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209811 22753 13073 16 0 209795 0
vsize: 839244
[startup+80.0168 s]
Raw data (loadavg): 1.01 0.97 0.92 4/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18039 0 1 0 7059 43 0 0 25 0 11 0 541992308 859914240 23053 4294967295 134512640 134569956 3221224400 3221214792 1131309015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 23053 13073 16 0 209924 0
vsize: 839760
[startup+90.018 s]
Raw data (loadavg): 1.01 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18079 0 1 0 7921 43 0 0 25 0 11 0 541992308 860078080 23705 4294967295 134512640 134569956 3221224400 3221214776 1131409563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 23705 13073 16 0 209964 0
vsize: 839920
[startup+100.018 s]
Raw data (loadavg): 1.01 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18080 0 1 0 8902 43 0 0 25 0 11 0 541992308 859914240 24549 4294967295 134512640 134569956 3221224400 3221214772 1131203180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24549 13073 16 0 209924 0
vsize: 839760
[startup+110.021 s]
Raw data (loadavg): 1.01 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) S 19998 22929 22928 0 -1 0 18080 0 1 0 9893 44 0 0 25 0 11 0 541992308 859914240 24549 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24549 13073 16 0 209924 0
vsize: 839760
[startup+120.022 s]
Raw data (loadavg): 1.00 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18080 0 1 0 10883 44 0 0 25 0 11 0 541992308 859914240 24549 4294967295 134512640 134569956 3221224400 3221214728 1131227724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24549 13073 16 0 209924 0
vsize: 839760
[startup+130.022 s]
Raw data (loadavg): 1.00 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18080 0 1 0 11873 44 0 0 25 0 11 0 541992308 859914240 24578 4294967295 134512640 134569956 3221224400 3221214688 1131269182 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24578 13073 16 0 209924 0
vsize: 839760
[startup+140.023 s]
Raw data (loadavg): 1.00 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18080 0 1 0 12863 44 0 0 25 0 11 0 541992308 859914240 24596 4294967295 134512640 134569956 3221224400 3221214688 1131268467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24596 13073 16 0 209924 0
vsize: 839760
[startup+150.024 s]
Raw data (loadavg): 1.00 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18080 0 1 0 13852 44 0 0 25 0 11 0 541992308 859914240 24615 4294967295 134512640 134569956 3221224400 3221214776 1131411299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24615 13073 16 0 209924 0
vsize: 839760
[startup+160.023 s]
Raw data (loadavg): 1.00 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18080 0 1 0 14841 44 0 0 25 0 11 0 541992308 859914240 24635 4294967295 134512640 134569956 3221224400 3221214776 1131412717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24635 13073 16 0 209924 0
vsize: 839760
[startup+170.024 s]
Raw data (loadavg): 1.00 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18080 0 1 0 15829 44 0 0 24 0 11 0 541992308 859914240 24678 4294967295 134512640 134569956 3221224400 3221214688 1131268621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24678 13073 16 0 209924 0
vsize: 839760
[startup+180.025 s]
Raw data (loadavg): 1.00 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18080 0 1 0 16818 44 0 0 25 0 11 0 541992308 859914240 24722 4294967295 134512640 134569956 3221224400 3221214688 1131268543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24722 13073 16 0 209924 0
vsize: 839760
[startup+190.026 s]
Raw data (loadavg): 1.00 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18080 0 1 0 17807 44 0 0 25 0 11 0 541992308 859914240 24761 4294967295 134512640 134569956 3221224400 3221214932 1130885141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24761 13073 16 0 209924 0
vsize: 839760
[startup+200.026 s]
Raw data (loadavg): 1.00 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18080 0 1 0 18795 44 0 0 25 0 11 0 541992308 859914240 24800 4294967295 134512640 134569956 3221224400 3221214776 1131409823 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24800 13073 16 0 209924 0
vsize: 839760
[startup+210.029 s]
Raw data (loadavg): 1.00 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) S 19998 22929 22928 0 -1 0 18080 0 1 0 19782 44 0 0 25 0 11 0 541992308 859914240 24831 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24834 13073 16 0 209924 0
vsize: 839760
[startup+220.03 s]
Raw data (loadavg): 1.00 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18080 0 1 0 20768 44 0 0 25 0 11 0 541992308 859914240 24889 4294967295 134512640 134569956 3221224400 3221214776 1131416554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24889 13073 16 0 209924 0
vsize: 839760
[startup+230.03 s]
Raw data (loadavg): 1.00 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18080 0 1 0 21753 44 0 0 25 0 11 0 541992308 859914240 24940 4294967295 134512640 134569956 3221224400 3221214688 1131268255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24940 13073 16 0 209924 0
vsize: 839760
[startup+240.031 s]
Raw data (loadavg): 1.00 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18080 0 1 0 22740 45 0 0 25 0 11 0 541992308 859914240 25018 4294967295 134512640 134569956 3221224400 3221214688 1131268240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 25018 13073 16 0 209924 0
vsize: 839760
[startup+250.032 s]
Raw data (loadavg): 1.00 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18080 0 1 0 23727 45 0 0 25 0 11 0 541992308 859914240 25074 4294967295 134512640 134569956 3221224400 3221214688 1131268396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 25074 13073 16 0 209924 0
vsize: 839760
[startup+260.031 s]
Raw data (loadavg): 1.00 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18080 0 1 0 24715 45 0 0 25 0 11 0 541992308 859914240 25143 4294967295 134512640 134569956 3221224400 3221214776 1131411104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 25143 13073 16 0 209924 0
vsize: 839760
[startup+270.033 s]
Raw data (loadavg): 1.00 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18080 0 1 0 25701 45 0 0 25 0 11 0 541992308 859914240 25196 4294967295 134512640 134569956 3221224400 3221214776 1131414908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 25196 13073 16 0 209924 0
vsize: 839760
[startup+280.033 s]
Raw data (loadavg): 1.00 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18080 0 1 0 26689 45 0 0 25 0 11 0 541992308 859914240 25256 4294967295 134512640 134569956 3221224400 3221214688 1131268396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 25256 13073 16 0 209924 0
vsize: 839760
[startup+290.034 s]
Raw data (loadavg): 1.00 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18080 0 1 0 27677 45 0 0 25 0 11 0 541992308 859914240 25315 4294967295 134512640 134569956 3221224400 3221214768 1131203214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 25315 13073 16 0 209924 0
vsize: 839760
[startup+300.034 s]
Raw data (loadavg): 1.00 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 28665 45 0 0 25 0 11 0 541992308 859914240 25364 4294967295 134512640 134569956 3221224400 3221214688 1131268366 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 25364 13073 16 0 209924 0
vsize: 839760
[startup+310.034 s]
Raw data (loadavg): 1.00 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 29652 45 0 0 25 0 11 0 541992308 859914240 25424 4294967295 134512640 134569956 3221224400 3221214688 1131268261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 25424 13073 16 0 209924 0
vsize: 839760
[startup+320.034 s]
Raw data (loadavg): 1.00 0.97 0.92 2/65 20011
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 30640 45 0 0 25 0 11 0 541992308 859914240 25473 4294967295 134512640 134569956 3221224400 3221214688 1131268396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 25473 13073 16 0 209924 0
vsize: 839760
[startup+330.036 s]
Raw data (loadavg): 1.00 0.97 0.92 4/68 20033
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 31626 45 0 0 25 0 11 0 541992308 859914240 25528 4294967295 134512640 134569956 3221224400 3221214688 1131268396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 25528 13073 16 0 209924 0
vsize: 839760
[startup+340.037 s]
Raw data (loadavg): 1.07 0.99 0.92 2/65 20066
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 32607 47 0 0 25 0 11 0 541992308 859914240 25590 4294967295 134512640 134569956 3221224400 3221214728 1131227749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 25590 13073 16 0 209924 0
vsize: 839760
[startup+350.038 s]
Raw data (loadavg): 1.06 0.99 0.92 2/65 20066
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 33594 47 0 0 25 0 11 0 541992308 859914240 25664 4294967295 134512640 134569956 3221224400 3221214776 1131415422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 25664 13073 16 0 209924 0
vsize: 839760
[startup+360.039 s]
Raw data (loadavg): 1.05 0.99 0.92 2/65 20066
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 34579 48 0 0 25 0 11 0 541992308 859914240 25738 4294967295 134512640 134569956 3221224400 3221214664 1131320467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 25738 13073 16 0 209924 0
vsize: 839760
[startup+370.04 s]
Raw data (loadavg): 1.04 0.99 0.92 2/65 20066
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 35564 48 0 0 25 0 11 0 541992308 859914240 25808 4294967295 134512640 134569956 3221224400 3221214592 1131471741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 25808 13073 16 0 209924 0
vsize: 839760
[startup+380.04 s]
Raw data (loadavg): 1.04 0.99 0.92 2/65 20066
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 36549 48 0 0 25 0 11 0 541992308 859914240 25888 4294967295 134512640 134569956 3221224400 3221214688 1131269761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 25888 13073 16 0 209924 0
vsize: 839760
[startup+390.041 s]
Raw data (loadavg): 1.03 0.99 0.92 2/65 20066
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 37534 49 0 0 25 0 11 0 541992308 859914240 25958 4294967295 134512640 134569956 3221224400 3221214688 1131268396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 25958 13073 16 0 209924 0
vsize: 839760
[startup+400.042 s]
Raw data (loadavg): 1.02 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 38516 49 0 0 25 0 11 0 541992308 859914240 26035 4294967295 134512640 134569956 3221224400 3221214688 1131268244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 26035 13073 16 0 209924 0
vsize: 839760
[startup+410.043 s]
Raw data (loadavg): 1.02 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 39497 50 0 0 25 0 11 0 541992308 859914240 26105 4294967295 134512640 134569956 3221224400 3221214688 1131269772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 26105 13073 16 0 209924 0
vsize: 839760
[startup+420.043 s]
Raw data (loadavg): 1.02 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 40478 50 0 0 25 0 11 0 541992308 859914240 26232 4294967295 134512640 134569956 3221224400 3221214688 1131268396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 26232 13073 16 0 209924 0
vsize: 839760
[startup+430.045 s]
Raw data (loadavg): 1.01 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 41463 51 0 0 25 0 11 0 541992308 859914240 26305 4294967295 134512640 134569956 3221224400 3221214704 1131308650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 26305 13073 16 0 209924 0
vsize: 839760
[startup+440.046 s]
Raw data (loadavg): 1.01 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 42448 51 0 0 25 0 11 0 541992308 859914240 26384 4294967295 134512640 134569956 3221224400 3221214688 1131268343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 26384 13073 16 0 209924 0
vsize: 839760
[startup+450.046 s]
Raw data (loadavg): 1.01 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 43433 51 0 0 25 0 11 0 541992308 859914240 26465 4294967295 134512640 134569956 3221224400 3221214760 1131516083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 26465 13073 16 0 209924 0
vsize: 839760
[startup+460.047 s]
Raw data (loadavg): 1.01 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 44418 52 0 0 25 0 11 0 541992308 859914240 26537 4294967295 134512640 134569956 3221224400 3221214772 1131320416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 26537 13073 16 0 209924 0
vsize: 839760
[startup+470.048 s]
Raw data (loadavg): 1.01 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 45402 53 0 0 25 0 11 0 541992308 859914240 26626 4294967295 134512640 134569956 3221224400 3221214688 1131268603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 26626 13073 16 0 209924 0
vsize: 839760
[startup+480.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 46388 53 0 0 25 0 11 0 541992308 859914240 26691 4294967295 134512640 134569956 3221224400 3221214688 1131268240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 26691 13073 16 0 209924 0
vsize: 839760
[startup+490.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 47374 53 0 0 25 0 11 0 541992308 859914240 26767 4294967295 134512640 134569956 3221224400 3221214776 1131411918 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 26767 13073 16 0 209924 0
vsize: 839760
[startup+500.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 48358 53 0 0 24 0 11 0 541992308 859914240 26843 4294967295 134512640 134569956 3221224400 3221214772 1131400128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 26843 13073 16 0 209924 0
vsize: 839760
[startup+510.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 49344 53 0 0 25 0 11 0 541992308 859914240 26906 4294967295 134512640 134569956 3221224400 3221214768 1131203250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 26906 13073 16 0 209924 0
vsize: 839760
[startup+520.063 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 50332 53 0 0 25 0 11 0 541992308 859914240 26973 4294967295 134512640 134569956 3221224400 3221214576 1131498831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 26973 13073 16 0 209924 0
vsize: 839760
[startup+530.078 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 51320 54 0 0 25 0 11 0 541992308 859914240 27038 4294967295 134512640 134569956 3221224400 3221214776 1131411525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27038 13073 16 0 209924 0
vsize: 839760
[startup+540.077 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 52305 54 0 0 24 0 11 0 541992308 859914240 27101 4294967295 134512640 134569956 3221224400 3221214776 1131415484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27101 13073 16 0 209924 0
vsize: 839760
[startup+550.077 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 53290 54 0 0 25 0 11 0 541992308 859914240 27175 4294967295 134512640 134569956 3221224400 3221214776 1131411104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27175 13073 16 0 209924 0
vsize: 839760
[startup+560.078 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 54275 55 0 0 25 0 11 0 541992308 859914240 27252 4294967295 134512640 134569956 3221224400 3221214688 1131268446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27252 13073 16 0 209924 0
vsize: 839760
[startup+570.079 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 55259 56 0 0 25 0 11 0 541992308 859914240 27331 4294967295 134512640 134569956 3221224400 3221214728 1131227718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27331 13073 16 0 209924 0
vsize: 839760
[startup+580.079 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 56244 56 0 0 25 0 11 0 541992308 859914240 27399 4294967295 134512640 134569956 3221224400 3221214664 1131320439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27399 13073 16 0 209924 0
vsize: 839760
[startup+590.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 57229 56 0 0 25 0 11 0 541992308 859914240 27447 4294967295 134512640 134569956 3221224400 3221214688 1131269222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27447 13073 16 0 209924 0
vsize: 839760
[startup+600.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 58214 57 0 0 25 0 11 0 541992308 859914240 27526 4294967295 134512640 134569956 3221224400 3221214776 1131412744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27526 13073 16 0 209924 0
vsize: 839760
[startup+610.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 59198 57 0 0 24 0 11 0 541992308 859914240 27590 4294967295 134512640 134569956 3221224400 3221214704 1131308650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27590 13073 16 0 209924 0
vsize: 839760
[startup+620.081 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20068
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 60184 57 0 0 25 0 11 0 541992308 859914240 27655 4294967295 134512640 134569956 3221224400 3221214688 1131268411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27655 13073 16 0 209924 0
vsize: 839760
[startup+630.082 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20070
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 61168 58 0 0 25 0 11 0 541992308 859914240 27718 4294967295 134512640 134569956 3221224400 3221214688 1131268571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27718 13073 16 0 209924 0
vsize: 839760
[startup+640.087 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 62154 58 0 0 25 0 11 0 541992308 859914240 27770 4294967295 134512640 134569956 3221224400 3221214640 1131203245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 27770 13073 16 0 209924 0
vsize: 839760
[startup+650.087 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 63138 58 0 0 25 0 11 0 541992308 859914240 27847 4294967295 134512640 134569956 3221224400 3221214688 1131268571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27847 13073 16 0 209924 0
vsize: 839760
[startup+660.088 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 64122 59 0 0 25 0 11 0 541992308 859914240 27931 4294967295 134512640 134569956 3221224400 3221214768 1131203231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27931 13073 16 0 209924 0
vsize: 839760
[startup+670.089 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 65105 59 0 0 25 0 11 0 541992308 859914240 28005 4294967295 134512640 134569956 3221224400 3221214728 1131228092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 28005 13073 16 0 209924 0
vsize: 839760
[startup+680.09 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 66088 60 0 0 25 0 11 0 541992308 859914240 28078 4294967295 134512640 134569956 3221224400 3221214728 1131227751 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 28078 13073 16 0 209924 0
vsize: 839760
[startup+690.09 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 67072 60 0 0 25 0 11 0 541992308 859914240 28154 4294967295 134512640 134569956 3221224400 3221214688 1131268396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 28154 13073 16 0 209924 0
vsize: 839760
[startup+700.091 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 68054 61 0 0 25 0 11 0 541992308 859914240 28222 4294967295 134512640 134569956 3221224400 3221214776 1131415143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 28222 13073 16 0 209924 0
vsize: 839760
[startup+710.091 s]
Raw data (loadavg): 1.08 1.01 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 69037 61 0 0 25 0 11 0 541992308 859914240 28297 4294967295 134512640 134569956 3221224400 3221214704 1131308650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 28297 13073 16 0 209924 0
vsize: 839760
[startup+720.092 s]
Raw data (loadavg): 1.07 1.01 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 70021 61 0 0 25 0 11 0 541992308 859914240 28362 4294967295 134512640 134569956 3221224400 3221214688 1131269353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 28362 13073 16 0 209924 0
vsize: 839760
[startup+730.093 s]
Raw data (loadavg): 1.06 1.01 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 71001 61 0 0 24 0 11 0 541992308 859914240 28431 4294967295 134512640 134569956 3221224400 3221214768 1131203250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 28431 13073 16 0 209924 0
vsize: 839760
[startup+740.093 s]
Raw data (loadavg): 1.05 1.00 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 71983 62 0 0 25 0 11 0 541992308 859914240 28500 4294967295 134512640 134569956 3221224400 3221214776 1131411104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 28500 13073 16 0 209924 0
vsize: 839760
[startup+750.096 s]
Raw data (loadavg): 1.04 1.00 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18081 0 1 0 72963 62 0 0 24 0 11 0 541992308 859914240 28614 4294967295 134512640 134569956 3221224400 3221214776 1131409751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 28614 13073 16 0 209924 0
vsize: 839760
[startup+760.096 s]
Raw data (loadavg): 1.03 1.00 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 73949 62 0 0 25 0 11 0 541992308 859914240 28694 4294967295 134512640 134569956 3221224400 3221214688 1131269618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 28694 13073 16 0 209924 0
vsize: 839760
[startup+770.098 s]
Raw data (loadavg): 1.03 1.00 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 74930 62 0 0 25 0 11 0 541992308 859914240 28763 4294967295 134512640 134569956 3221224400 3221214776 1131409724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 28763 13073 16 0 209924 0
vsize: 839760
[startup+780.099 s]
Raw data (loadavg): 1.02 1.00 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 75910 62 0 0 24 0 11 0 541992308 859914240 28870 4294967295 134512640 134569956 3221224400 3221214688 1131268396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 28870 13073 16 0 209924 0
vsize: 839760
[startup+790.103 s]
Raw data (loadavg): 1.02 1.00 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 76893 62 0 0 25 0 11 0 541992308 859914240 28957 4294967295 134512640 134569956 3221224400 3221214688 1131268563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 28957 13073 16 0 209924 0
vsize: 839760
[startup+800.107 s]
Raw data (loadavg): 1.10 1.02 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 77873 62 0 0 25 0 11 0 541992308 859914240 29055 4294967295 134512640 134569956 3221224400 3221214728 1131227704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 29055 13073 16 0 209924 0
vsize: 839760
[startup+810.108 s]
Raw data (loadavg): 1.08 1.02 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 78854 62 0 0 25 0 11 0 541992308 859914240 29143 4294967295 134512640 134569956 3221224400 3221214776 1131411656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 29143 13073 16 0 209924 0
vsize: 839760
[startup+820.108 s]
Raw data (loadavg): 1.07 1.01 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 79833 62 0 0 24 0 11 0 541992308 859914240 29240 4294967295 134512640 134569956 3221224400 3221214688 1131268400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 29240 13073 16 0 209924 0
vsize: 839760
[startup+830.109 s]
Raw data (loadavg): 1.06 1.01 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 80815 62 0 0 25 0 11 0 541992308 859914240 29317 4294967295 134512640 134569956 3221224400 3221214936 1131562242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 29317 13073 16 0 209924 0
vsize: 839760
[startup+840.109 s]
Raw data (loadavg): 1.05 1.01 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 81794 63 0 0 25 0 11 0 541992308 859914240 29421 4294967295 134512640 134569956 3221224400 3221214688 1131268411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 29421 13073 16 0 209924 0
vsize: 839760
[startup+850.109 s]
Raw data (loadavg): 1.04 1.01 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 82772 63 0 0 25 0 11 0 541992308 859914240 29518 4294967295 134512640 134569956 3221224400 3221214776 1131409758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 29518 13073 16 0 209924 0
vsize: 839760
[startup+860.11 s]
Raw data (loadavg): 1.03 1.01 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 83751 63 0 0 25 0 11 0 541992308 859914240 29633 4294967295 134512640 134569956 3221224400 3221214688 1131268396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 29633 13073 16 0 209924 0
vsize: 839760
[startup+870.112 s]
Raw data (loadavg): 1.03 1.01 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 84729 63 0 0 25 0 11 0 541992308 859914240 29743 4294967295 134512640 134569956 3221224400 3221214664 1131320429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 29743 13073 16 0 209924 0
vsize: 839760
[startup+880.112 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 85707 63 0 0 24 0 11 0 541992308 859914240 29862 4294967295 134512640 134569956 3221224400 3221214808 1131406322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 29862 13073 16 0 209924 0
vsize: 839760
[startup+890.112 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 86687 63 0 0 25 0 11 0 541992308 859914240 29963 4294967295 134512640 134569956 3221224400 3221214776 1131411104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 29963 13073 16 0 209924 0
vsize: 839760
[startup+900.114 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 87660 63 0 0 25 0 11 0 541992308 859914240 30074 4294967295 134512640 134569956 3221224400 3221214688 1131269940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 30074 13073 16 0 209924 0
vsize: 839760
[startup+910.113 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 88632 63 0 0 25 0 11 0 541992308 859914240 30220 4294967295 134512640 134569956 3221224400 3221214688 1131268579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 30220 13073 16 0 209924 0
vsize: 839760
[startup+920.114 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 20072
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 89608 63 0 0 25 0 11 0 541992308 859914240 30311 4294967295 134512640 134569956 3221224400 3221214736 1131207794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 30311 13073 16 0 209924 0
vsize: 839760
[startup+930.219 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 90594 63 0 0 25 0 11 0 541992308 859914240 30498 4294967295 134512640 134569956 3221224400 3221214840 1131445124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 30498 13073 16 0 209924 0
vsize: 839760
[startup+940.219 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 91573 63 0 0 25 0 11 0 541992308 859914240 30618 4294967295 134512640 134569956 3221224400 3221214776 1131411656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 30618 13073 16 0 209924 0
vsize: 839760
[startup+950.225 s]
Raw data (loadavg): 1.08 1.02 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 92553 63 0 0 25 0 11 0 541992308 859914240 30703 4294967295 134512640 134569956 3221224400 3221214712 1131400177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 30703 13073 16 0 209924 0
vsize: 839760
[startup+960.225 s]
Raw data (loadavg): 1.07 1.02 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 93532 63 0 0 25 0 11 0 541992308 859914240 30821 4294967295 134512640 134569956 3221224400 3221214680 1131661203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 30821 13073 16 0 209924 0
vsize: 839760
[startup+970.227 s]
Raw data (loadavg): 1.06 1.02 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 94511 63 0 0 25 0 11 0 541992308 859914240 30918 4294967295 134512640 134569956 3221224400 3221214688 1131269278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 30918 13073 16 0 209924 0
vsize: 839760
[startup+980.232 s]
Raw data (loadavg): 1.05 1.02 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 95492 63 0 0 25 0 11 0 541992308 859914240 31019 4294967295 134512640 134569956 3221224400 3221214688 1131268579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 31019 13073 16 0 209924 0
vsize: 839760
[startup+990.232 s]
Raw data (loadavg): 1.04 1.01 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 96470 63 0 0 25 0 11 0 541992308 859914240 31117 4294967295 134512640 134569956 3221224400 3221214768 1131203250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 31117 13073 16 0 209924 0
vsize: 839760
[startup+1000.23 s]
Raw data (loadavg): 1.03 1.01 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 97448 63 0 0 25 0 11 0 541992308 859914240 31234 4294967295 134512640 134569956 3221224400 3221214728 1131227701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 31234 13073 16 0 209924 0
vsize: 839760
[startup+1010.25 s]
Raw data (loadavg): 1.03 1.01 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 98428 64 0 0 25 0 11 0 541992308 859914240 31333 4294967295 134512640 134569956 3221224400 3221214776 1131414908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 31333 13073 16 0 209924 0
vsize: 839760
[startup+1020.26 s]
Raw data (loadavg): 1.02 1.01 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 99408 64 0 0 25 0 11 0 541992308 859914240 31446 4294967295 134512640 134569956 3221224400 3221214768 1131203193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 31446 13073 16 0 209924 0
vsize: 839760
[startup+1030.26 s]
Raw data (loadavg): 1.02 1.01 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 100389 64 0 0 25 0 11 0 541992308 859914240 31528 4294967295 134512640 134569956 3221224400 3221214688 1131269785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 31528 13073 16 0 209924 0
vsize: 839760
[startup+1040.27 s]
Raw data (loadavg): 1.02 1.01 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 101369 64 0 0 25 0 11 0 541992308 859914240 31634 4294967295 134512640 134569956 3221224400 3221214704 1131309174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 31634 13073 16 0 209924 0
vsize: 839760
[startup+1050.27 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 102348 64 0 0 25 0 11 0 541992308 859914240 31724 4294967295 134512640 134569956 3221224400 3221214776 1131409467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 31724 13073 16 0 209924 0
vsize: 839760
[startup+1060.27 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 103328 64 0 0 25 0 11 0 541992308 859914240 31806 4294967295 134512640 134569956 3221224400 3221214776 1131411104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 31806 13073 16 0 209924 0
vsize: 839760
[startup+1070.28 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 104306 64 0 0 25 0 11 0 541992308 859914240 31920 4294967295 134512640 134569956 3221224400 3221214712 1131400249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 31920 13073 16 0 209924 0
vsize: 839760
[startup+1080.28 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 105287 64 0 0 25 0 11 0 541992308 859914240 32013 4294967295 134512640 134569956 3221224400 3221214688 1131268567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 32013 13073 16 0 209924 0
vsize: 839760
[startup+1090.28 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 106264 64 0 0 25 0 11 0 541992308 859914240 32120 4294967295 134512640 134569956 3221224400 3221214776 1131414553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 32120 13073 16 0 209924 0
vsize: 839760
[startup+1100.28 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 107244 64 0 0 25 0 11 0 541992308 859914240 32218 4294967295 134512640 134569956 3221224400 3221214704 1131308829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 32218 13073 16 0 209924 0
vsize: 839760
[startup+1110.28 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 20074
Raw data (stat): 19999 (java) S 19998 22929 22928 0 -1 0 18082 0 1 0 108226 64 0 0 25 0 11 0 541992308 859914240 32316 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 32316 13073 16 0 209924 0
vsize: 839760
[startup+1120.28 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 109203 64 0 0 25 0 11 0 541992308 859914240 32415 4294967295 134512640 134569956 3221224400 3221214776 1131411956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 32415 13073 16 0 209924 0
vsize: 839760
[startup+1130.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 110184 64 0 0 25 0 11 0 541992308 859914240 32487 4294967295 134512640 134569956 3221224400 3221214808 1131406386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 32487 13073 16 0 209924 0
vsize: 839760
[startup+1140.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 111164 65 0 0 24 0 11 0 541992308 859914240 32587 4294967295 134512640 134569956 3221224400 3221214688 1131268336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 32587 13073 16 0 209924 0
vsize: 839760
[startup+1150.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 112144 65 0 0 25 0 11 0 541992308 859914240 32684 4294967295 134512640 134569956 3221224400 3221214776 1131409823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 32684 13073 16 0 209924 0
vsize: 839760
[startup+1160.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 113125 65 0 0 25 0 11 0 541992308 859914240 32775 4294967295 134512640 134569956 3221224400 3221214776 1131409758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 32775 13073 16 0 209924 0
vsize: 839760
[startup+1170.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 114107 65 0 0 25 0 11 0 541992308 859914240 32861 4294967295 134512640 134569956 3221224400 3221214776 1131409571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 32861 13073 16 0 209924 0
vsize: 839760
[startup+1180.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 115085 65 0 0 25 0 11 0 541992308 859914240 32926 4294967295 134512640 134569956 3221224400 3221214688 1131268345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 32926 13073 16 0 209924 0
vsize: 839760
[startup+1190.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 116066 65 0 0 25 0 11 0 541992308 859914240 33023 4294967295 134512640 134569956 3221224400 3221214776 1131409571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 33023 13073 16 0 209924 0
vsize: 839760
[startup+1200.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 117046 65 0 0 25 0 11 0 541992308 859914240 33125 4294967295 134512640 134569956 3221224400 3221214704 1131309015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 33125 13073 16 0 209924 0
vsize: 839760
[startup+1210.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 118026 65 0 0 25 0 11 0 541992308 859914240 33208 4294967295 134512640 134569956 3221224400 3221214776 1131308650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 33208 13073 16 0 209924 0
vsize: 839760
[startup+1220.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 20074
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 119006 65 0 0 25 0 11 0 541992308 859914240 33304 4294967295 134512640 134569956 3221224400 3221214688 1131268396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 33304 13073 16 0 209924 0
vsize: 839760
[startup+1230.34 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 20076
Raw data (stat): 19999 (java) R 19998 22929 22928 0 -1 0 18082 0 1 0 119990 65 0 0 25 0 11 0 541992308 859914240 33395 4294967295 134512640 134569956 3221224400 3221214688 1131268587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 33395 13073 16 0 209924 0
vsize: 839760
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.53 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 20078
Raw data (stat): 19999 (java) Z 19998 22929 22928 0 -1 1036 18082 18381 1 0 119991 71 4164 51 23 0 1 0 541992308 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.53
CPU time (s): 1242.79
CPU user time (s): 1241.56
CPU system time (s): 1.23181
CPU usage (%): 100.997
Max. virtual memory (Kb): 840124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####