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/miplib3/normalized-mps-v2-13-7-gesa3_o.opb
MD5SUM	fca009b84c2f2c99c6eab1b54cde16f4
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	6144
Biggest coefficient in the objective function	409031671808
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	143020903040784
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	524288000000
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	143020903040784
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.099984
Number of variables	10704
Total number of constraints	1560
Number of constraints which are clauses	168
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1392
Minimum length of a constraint	2
Maximum length of a constraint	211
Trace number 18222

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        772724 kB
Buffers:          4752 kB
Cached:         231888 kB
SwapCached:          0 kB
Active:          50312 kB
Inactive:       189500 kB
HighTotal:      131008 kB
HighFree:        44072 kB
LowTotal:       903652 kB
LowFree:        728652 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           7220 kB
Slab:            16472 kB
Committed_AS:    92820 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 14:19:23 (client local time) WITH STATUS 143 IN 1237.89 SECONDS
stats: 18430 7 1237.89 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-gesa3_o.opb
c reading problem 
c [nbvar=10704]
c [nbconstr=1560]
c time 38.474
c #vars     10704
c #clauses  1537
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.84 0.94 0.91 2/56 28269
Raw data (stat): 28269 (runsolver) R 28268 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 430546163 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.87 0.94 0.91 2/65 28278
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 17984 0 1 0 892 41 0 0 25 0 10 0 430546163 853483520 19141 4294967295 134512640 134569956 3221224400 3221214616 1130887363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208370 19141 13073 16 0 208354 0
vsize: 833480
[startup+20.0014 s]
Raw data (loadavg): 1.03 0.97 0.92 2/65 28278
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 17988 0 1 0 1726 41 0 0 25 0 10 0 430546163 855871488 20576 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208953 20576 13073 16 0 208937 0
vsize: 835812
[startup+30.0012 s]
Raw data (loadavg): 1.03 0.97 0.92 2/65 28278
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 17988 0 1 0 2574 41 0 0 24 0 10 0 430546163 855756800 21044 4294967295 134512640 134569956 3221224400 3221214848 1131203461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208925 21044 13073 16 0 208909 0
vsize: 835700
[startup+40.001 s]
Raw data (loadavg): 1.10 0.99 0.93 2/65 28278
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18012 0 1 0 3449 42 0 0 25 0 10 0 430546163 855756800 21674 4294967295 134512640 134569956 3221224400 3221214752 1131260309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208925 21674 13073 16 0 208909 0
vsize: 835700
[startup+50.0023 s]
Raw data (loadavg): 1.24 1.02 0.94 2/66 28279
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18056 0 1 0 4296 43 0 0 25 0 11 0 430546163 857300992 22479 4294967295 134512640 134569956 3221224400 3221214712 1131178112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209302 22479 13073 16 0 209286 0
vsize: 837208
[startup+60.0025 s]
Raw data (loadavg): 1.20 1.02 0.94 2/66 28279
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18057 0 1 0 5269 43 0 0 25 0 11 0 430546163 857300992 22548 4294967295 134512640 134569956 3221224400 3221214768 1131585308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209302 22548 13073 16 0 209286 0
vsize: 837208
[startup+70.0032 s]
Raw data (loadavg): 1.17 1.02 0.94 2/66 28279
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18057 0 1 0 6240 43 0 0 25 0 11 0 430546163 858357760 22872 4294967295 134512640 134569956 3221224400 3221214800 1131403272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209560 22872 13073 16 0 209544 0
vsize: 838240
[startup+80.0031 s]
Raw data (loadavg): 1.14 1.02 0.94 2/66 28281
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18057 0 1 0 7215 43 0 0 25 0 11 0 430546163 857300992 23317 4294967295 134512640 134569956 3221224400 3221214760 1131585168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 23317 13073 16 0 209286 0
vsize: 837208
[startup+90.0039 s]
Raw data (loadavg): 1.20 1.04 0.94 2/66 28334
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18057 0 1 0 8197 43 0 0 25 0 11 0 430546163 857300992 23379 4294967295 134512640 134569956 3221224400 3221214760 1131585178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 23379 13073 16 0 209286 0
vsize: 837208
[startup+100.004 s]
Raw data (loadavg): 1.16 1.03 0.94 2/66 28334
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18057 0 1 0 9184 43 0 0 25 0 11 0 430546163 857300992 23379 4294967295 134512640 134569956 3221224400 3221214112 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209302 23379 13073 16 0 209286 0
vsize: 837208
[startup+110.005 s]
Raw data (loadavg): 1.14 1.03 0.94 2/66 28334
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 10163 43 0 0 25 0 11 0 430546163 857300992 23380 4294967295 134512640 134569956 3221224400 3221214656 1131250734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209302 23380 13073 16 0 209286 0
vsize: 837208
[startup+120.009 s]
Raw data (loadavg): 1.12 1.03 0.94 2/66 28334
Raw data (stat): 28269 (java) S 28268 12452 12451 0 -1 0 18058 0 1 0 11138 43 0 0 25 0 11 0 430546163 857300992 23380 4294967295 134512640 134569956 3221224400 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209302 23380 13073 16 0 209286 0
vsize: 837208
[startup+130.009 s]
Raw data (loadavg): 1.10 1.03 0.94 2/66 28334
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 12118 43 0 0 25 0 11 0 430546163 857300992 23380 4294967295 134512640 134569956 3221224400 3221214760 1131585152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209302 23380 13073 16 0 209286 0
vsize: 837208
[startup+140.009 s]
Raw data (loadavg): 1.08 1.03 0.94 2/68 28336
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 13087 43 0 0 25 0 11 0 430546163 857300992 23558 4294967295 134512640 134569956 3221224400 3221214460 1078830836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209302 23558 13073 16 0 209286 0
vsize: 837208
[startup+150.01 s]
Raw data (loadavg): 1.07 1.03 0.94 2/66 28336
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 14066 43 0 0 25 0 11 0 430546163 857300992 23707 4294967295 134512640 134569956 3221224400 3221214760 1131585168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 23707 13073 16 0 209286 0
vsize: 837208
[startup+160.01 s]
Raw data (loadavg): 1.06 1.03 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 15046 43 0 0 25 0 11 0 430546163 857300992 23810 4294967295 134512640 134569956 3221224400 3221214840 1131389824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209302 23810 13073 16 0 209286 0
vsize: 837208
[startup+170.012 s]
Raw data (loadavg): 1.05 1.02 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 16026 43 0 0 25 0 11 0 430546163 857300992 23916 4294967295 134512640 134569956 3221224400 3221214656 1131250593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209302 23916 13073 16 0 209286 0
vsize: 837208
[startup+180.011 s]
Raw data (loadavg): 1.04 1.02 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 16988 43 0 0 25 0 11 0 430546163 857300992 24012 4294967295 134512640 134569956 3221224400 3221214760 1131585168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209302 24012 13073 16 0 209286 0
vsize: 837208
[startup+190.012 s]
Raw data (loadavg): 1.03 1.02 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 17968 43 0 0 25 0 11 0 430546163 857300992 24123 4294967295 134512640 134569956 3221224400 3221214704 1131259545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209302 24123 13073 16 0 209286 0
vsize: 837208
[startup+200.012 s]
Raw data (loadavg): 1.03 1.02 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 18937 43 0 0 25 0 11 0 430546163 857300992 24310 4294967295 134512640 134569956 3221224400 3221214760 1131585180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209302 24310 13073 16 0 209286 0
vsize: 837208
[startup+210.012 s]
Raw data (loadavg): 1.02 1.02 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 19917 43 0 0 25 0 11 0 430546163 857300992 24378 4294967295 134512640 134569956 3221224400 3221214760 1131585291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209302 24378 13073 16 0 209286 0
vsize: 837208
[startup+220.013 s]
Raw data (loadavg): 1.02 1.02 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 20897 43 0 0 25 0 11 0 430546163 857300992 24489 4294967295 134512640 134569956 3221224400 3221214760 1131585308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209302 24489 13073 16 0 209286 0
vsize: 837208
[startup+230.013 s]
Raw data (loadavg): 1.02 1.02 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 21861 43 0 0 25 0 11 0 430546163 857300992 24652 4294967295 134512640 134569956 3221224400 3221214760 1131585164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209302 24652 13073 16 0 209286 0
vsize: 837208
[startup+240.014 s]
Raw data (loadavg): 1.01 1.02 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 22840 43 0 0 25 0 11 0 430546163 857300992 24773 4294967295 134512640 134569956 3221224400 3221214656 1131251474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209302 24773 13073 16 0 209286 0
vsize: 837208
[startup+250.013 s]
Raw data (loadavg): 1.01 1.02 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 23819 43 0 0 25 0 11 0 430546163 857300992 24863 4294967295 134512640 134569956 3221224400 3221214768 1131367213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209302 24863 13073 16 0 209286 0
vsize: 837208
[startup+260.014 s]
Raw data (loadavg): 1.01 1.02 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 24779 44 0 0 25 0 11 0 430546163 857300992 24981 4294967295 134512640 134569956 3221224400 3221214752 1131585291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 24981 13073 16 0 209286 0
vsize: 837208
[startup+270.014 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 25748 44 0 0 24 0 11 0 430546163 857300992 25110 4294967295 134512640 134569956 3221224400 3221214680 1131259529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 25110 13073 16 0 209286 0
vsize: 837208
[startup+280.014 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 26727 44 0 0 25 0 11 0 430546163 857300992 25198 4294967295 134512640 134569956 3221224400 3221214656 1131455394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 25198 13073 16 0 209286 0
vsize: 837208
[startup+290.015 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 27695 44 0 0 25 0 11 0 430546163 857300992 25362 4294967295 134512640 134569956 3221224400 3221214792 1131402646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 25362 13073 16 0 209286 0
vsize: 837208
[startup+300.015 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 28672 44 0 0 25 0 11 0 430546163 857300992 25527 4294967295 134512640 134569956 3221224400 3221214752 1131585308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 25527 13073 16 0 209286 0
vsize: 837208
[startup+310.016 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 29641 44 0 0 25 0 11 0 430546163 857300992 25687 4294967295 134512640 134569956 3221224400 3221214832 1131389855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 25687 13073 16 0 209286 0
vsize: 837208
[startup+320.016 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 30620 44 0 0 25 0 11 0 430546163 857300992 25800 4294967295 134512640 134569956 3221224400 3221214752 1131585308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 25800 13073 16 0 209286 0
vsize: 837208
[startup+330.016 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 31598 44 0 0 25 0 11 0 430546163 857300992 25900 4294967295 134512640 134569956 3221224400 3221214752 1131585168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 25900 13073 16 0 209286 0
vsize: 837208
[startup+340.017 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 32576 44 0 0 25 0 11 0 430546163 857300992 26002 4294967295 134512640 134569956 3221224400 3221214800 1131473103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 26002 13073 16 0 209286 0
vsize: 837208
[startup+350.017 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 33554 45 0 0 25 0 11 0 430546163 857300992 26124 4294967295 134512640 134569956 3221224400 3221214648 1131251460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 26124 13073 16 0 209286 0
vsize: 837208
[startup+360.018 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 34523 45 0 0 25 0 11 0 430546163 857300992 26231 4294967295 134512640 134569956 3221224400 3221214752 1131585172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 26231 13073 16 0 209286 0
vsize: 837208
[startup+370.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28338
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 35501 45 0 0 25 0 11 0 430546163 857300992 26399 4294967295 134512640 134569956 3221224400 3221214832 1131389730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 26399 13073 16 0 209286 0
vsize: 837208
[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 36460 45 0 0 25 0 11 0 430546163 857300992 26491 4294967295 134512640 134569956 3221224400 3221214752 1131585168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 26491 13073 16 0 209286 0
vsize: 837208
[startup+390.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 37439 45 0 0 25 0 11 0 430546163 857300992 26536 4294967295 134512640 134569956 3221224400 3221214080 1131676148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 26536 13073 16 0 209286 0
vsize: 837208
[startup+400.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 38418 45 0 0 25 0 11 0 430546163 857300992 26659 4294967295 134512640 134569956 3221224400 3221214752 1131585308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 26659 13073 16 0 209286 0
vsize: 837208
[startup+410.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 39397 45 0 0 25 0 11 0 430546163 857300992 26719 4294967295 134512640 134569956 3221224400 3221214656 1131425361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 26719 13073 16 0 209286 0
vsize: 837208
[startup+420.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 40374 46 0 0 25 0 11 0 430546163 857300992 26831 4294967295 134512640 134569956 3221224400 3221214752 1131585168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 26831 13073 16 0 209286 0
vsize: 837208
[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) S 28268 12452 12451 0 -1 0 18058 0 1 0 41346 46 0 0 25 0 11 0 430546163 857300992 26939 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 26939 13073 16 0 209286 0
vsize: 837208
[startup+440.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 42321 46 0 0 25 0 11 0 430546163 857300992 27088 4294967295 134512640 134569956 3221224400 3221214792 1131403276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 27088 13073 16 0 209286 0
vsize: 837208
[startup+450.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 43300 46 0 0 25 0 11 0 430546163 857300992 27155 4294967295 134512640 134569956 3221224400 3221214752 1131585168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 27155 13073 16 0 209286 0
vsize: 837208
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 44268 46 0 0 25 0 11 0 430546163 857300992 27306 4294967295 134512640 134569956 3221224400 3221214712 1131581444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 27306 13073 16 0 209286 0
vsize: 837208
[startup+470.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 45247 46 0 0 25 0 11 0 430546163 857300992 27385 4294967295 134512640 134569956 3221224400 3221214648 1131250734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 27385 13073 16 0 209286 0
vsize: 837208
[startup+480.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 46215 46 0 0 25 0 11 0 430546163 857300992 27481 4294967295 134512640 134569956 3221224400 3221214000 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 27481 13073 16 0 209286 0
vsize: 837208
[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 47193 46 0 0 25 0 11 0 430546163 857300992 27574 4294967295 134512640 134569956 3221224400 3221214752 1131585308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 27574 13073 16 0 209286 0
vsize: 837208
[startup+500.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 48162 47 0 0 25 0 11 0 430546163 857300992 27679 4294967295 134512640 134569956 3221224400 3221214752 1131585168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 27679 13073 16 0 209286 0
vsize: 837208
[startup+510.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 49140 47 0 0 25 0 11 0 430546163 857300992 27787 4294967295 134512640 134569956 3221224400 3221213960 1131676080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 27787 13073 16 0 209286 0
vsize: 837208
[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 50108 47 0 0 25 0 11 0 430546163 857300992 27882 4294967295 134512640 134569956 3221224400 3221214576 1131676009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 27882 13073 16 0 209286 0
vsize: 837208
[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 51087 47 0 0 25 0 11 0 430546163 857300992 27968 4294967295 134512640 134569956 3221224400 3221214752 1131585152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 27968 13073 16 0 209286 0
vsize: 837208
[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 52065 47 0 0 25 0 11 0 430546163 857300992 28049 4294967295 134512640 134569956 3221224400 3221214752 1131585164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 28049 13073 16 0 209286 0
vsize: 837208
[startup+550.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 53033 47 0 0 25 0 11 0 430546163 857300992 28173 4294967295 134512640 134569956 3221224400 3221214752 1131585308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 28173 13073 16 0 209286 0
vsize: 837208
[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 54010 48 0 0 25 0 11 0 430546163 857300992 28333 4294967295 134512640 134569956 3221224400 3221214656 1131425773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 28333 13073 16 0 209286 0
vsize: 837208
[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 54987 48 0 0 25 0 11 0 430546163 857300992 28449 4294967295 134512640 134569956 3221224400 3221214752 1131585172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 28449 13073 16 0 209286 0
vsize: 837208
[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 55966 48 0 0 25 0 11 0 430546163 857300992 28531 4294967295 134512640 134569956 3221224400 3221214648 1131250775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 28531 13073 16 0 209286 0
vsize: 837208
[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 56944 48 0 0 25 0 11 0 430546163 857300992 28645 4294967295 134512640 134569956 3221224400 3221214752 1131585164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 28645 13073 16 0 209286 0
vsize: 837208
[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 57900 48 0 0 25 0 11 0 430546163 857300992 28887 4294967295 134512640 134569956 3221224400 3221214752 1131585299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 28887 13073 16 0 209286 0
vsize: 837208
[startup+610.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 58870 48 0 0 25 0 11 0 430546163 857300992 29003 4294967295 134512640 134569956 3221224400 3221214752 1131585178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 29003 13073 16 0 209286 0
vsize: 837208
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 59841 48 0 0 25 0 11 0 430546163 857300992 29042 4294967295 134512640 134569956 3221224400 3221214752 1131585168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 29042 13073 16 0 209286 0
vsize: 837208
[startup+630.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 60813 48 0 0 25 0 11 0 430546163 857300992 29214 4294967295 134512640 134569956 3221224400 3221214752 1131585291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 29214 13073 16 0 209286 0
vsize: 837208
[startup+640.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 61785 48 0 0 25 0 11 0 430546163 857300992 29214 4294967295 134512640 134569956 3221224400 3221214752 1131585164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 29214 13073 16 0 209286 0
vsize: 837208
[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 62756 48 0 0 25 0 11 0 430546163 857300992 29266 4294967295 134512640 134569956 3221224400 3221214832 1131389536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 29266 13073 16 0 209286 0
vsize: 837208
[startup+660.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 63727 48 0 0 25 0 11 0 430546163 857300992 29316 4294967295 134512640 134569956 3221224400 3221214752 1131585299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 29316 13073 16 0 209286 0
vsize: 837208
[startup+670.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28340
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 64707 48 0 0 25 0 11 0 430546163 857300992 29369 4294967295 134512640 134569956 3221224400 3221214752 1131585168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 29369 13073 16 0 209286 0
vsize: 837208
[startup+680.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 65677 48 0 0 25 0 11 0 430546163 857300992 29407 4294967295 134512640 134569956 3221224400 3221214752 1131585152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 29407 13073 16 0 209286 0
vsize: 837208
[startup+690.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 66647 48 0 0 25 0 11 0 430546163 857300992 29535 4294967295 134512640 134569956 3221224400 3221214752 1131585168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 29535 13073 16 0 209286 0
vsize: 837208
[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 67619 49 0 0 25 0 11 0 430546163 857300992 29698 4294967295 134512640 134569956 3221224400 3221214840 1131446270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 29698 13073 16 0 209286 0
vsize: 837208
[startup+710.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 68592 49 0 0 25 0 11 0 430546163 857300992 29819 4294967295 134512640 134569956 3221224400 3221214680 1131259581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 29819 13073 16 0 209286 0
vsize: 837208
[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 69565 49 0 0 25 0 11 0 430546163 857300992 29906 4294967295 134512640 134569956 3221224400 3221214752 1131585152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 29906 13073 16 0 209286 0
vsize: 837208
[startup+730.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 70539 49 0 0 25 0 11 0 430546163 857300992 29959 4294967295 134512640 134569956 3221224400 3221214124 1131308128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 29959 13073 16 0 209286 0
vsize: 837208
[startup+740.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 71512 49 0 0 25 0 11 0 430546163 857300992 30040 4294967295 134512640 134569956 3221224400 3221214768 1131368329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 30040 13073 16 0 209286 0
vsize: 837208
[startup+750.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 72485 49 0 0 25 0 11 0 430546163 857300992 30106 4294967295 134512640 134569956 3221224400 3221214768 1131369237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 30106 13073 16 0 209286 0
vsize: 837208
[startup+760.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 73457 49 0 0 25 0 11 0 430546163 857300992 30159 4294967295 134512640 134569956 3221224400 3221214752 1131585168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 30159 13073 16 0 209286 0
vsize: 837208
[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 74428 50 0 0 25 0 11 0 430546163 857300992 30252 4294967295 134512640 134569956 3221224400 3221214648 1131250928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 30252 13073 16 0 209286 0
vsize: 837208
[startup+780.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 75400 50 0 0 25 0 11 0 430546163 857300992 30303 4294967295 134512640 134569956 3221224400 3221214680 1131259785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 30303 13073 16 0 209286 0
vsize: 837208
[startup+790.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 76370 50 0 0 25 0 11 0 430546163 857300992 30374 4294967295 134512640 134569956 3221224400 3221214648 1131250794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 30374 13073 16 0 209286 0
vsize: 837208
[startup+800.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 77340 50 0 0 25 0 11 0 430546163 857300992 30469 4294967295 134512640 134569956 3221224400 3221214824 1131309234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 30469 13073 16 0 209286 0
vsize: 837208
[startup+810.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 78309 50 0 0 25 0 11 0 430546163 857300992 30546 4294967295 134512640 134569956 3221224400 3221214680 1131259651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 30546 13073 16 0 209286 0
vsize: 837208
[startup+820.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 79280 50 0 0 25 0 11 0 430546163 857300992 30626 4294967295 134512640 134569956 3221224400 3221214752 1131585152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 30626 13073 16 0 209286 0
vsize: 837208
[startup+830.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 80250 50 0 0 25 0 11 0 430546163 857300992 30691 4294967295 134512640 134569956 3221224400 3221214752 1131585168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 30691 13073 16 0 209286 0
vsize: 837208
[startup+840.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 81220 50 0 0 25 0 11 0 430546163 857300992 30764 4294967295 134512640 134569956 3221224400 3221214752 1131585291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 30764 13073 16 0 209286 0
vsize: 837208
[startup+850.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 82189 50 0 0 25 0 11 0 430546163 857300992 30862 4294967295 134512640 134569956 3221224400 3221214752 1131585308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 30862 13073 16 0 209286 0
vsize: 837208
[startup+860.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 83158 50 0 0 25 0 11 0 430546163 857300992 30954 4294967295 134512640 134569956 3221224400 3221214648 1131250635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 30954 13073 16 0 209286 0
vsize: 837208
[startup+870.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 84128 50 0 0 25 0 11 0 430546163 857300992 31026 4294967295 134512640 134569956 3221224400 3221214768 1131367220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 31026 13073 16 0 209286 0
vsize: 837208
[startup+880.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 85098 51 0 0 25 0 11 0 430546163 857300992 31105 4294967295 134512640 134569956 3221224400 3221214752 1131585172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 31105 13073 16 0 209286 0
vsize: 837208
[startup+890.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 86070 51 0 0 25 0 11 0 430546163 857300992 31204 4294967295 134512640 134569956 3221224400 3221214156 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 31204 13073 16 0 209286 0
vsize: 837208
[startup+900.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 87043 51 0 0 25 0 11 0 430546163 857300992 31302 4294967295 134512640 134569956 3221224400 3221214072 1131676124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 31302 13073 16 0 209286 0
vsize: 837208
[startup+910.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 88008 51 0 0 25 0 11 0 430546163 857300992 31400 4294967295 134512640 134569956 3221224400 3221214752 1131585168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 31400 13073 16 0 209286 0
vsize: 837208
[startup+920.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 88982 51 0 0 25 0 11 0 430546163 857300992 31452 4294967295 134512640 134569956 3221224400 3221214832 1131389548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209302 31452 13073 16 0 209286 0
vsize: 837208
[startup+930.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 89955 51 0 0 25 0 11 0 430546163 857300992 31537 4294967295 134512640 134569956 3221224400 3221214184 1131675937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 31537 13073 16 0 209286 0
vsize: 837208
[startup+940.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 90928 52 0 0 25 0 11 0 430546163 857300992 31629 4294967295 134512640 134569956 3221224400 3221214440 1085679494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 31629 13073 16 0 209286 0
vsize: 837208
[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 91903 52 0 0 25 0 11 0 430546163 857300992 31724 4294967295 134512640 134569956 3221224400 3221214680 1131259430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 31724 13073 16 0 209286 0
vsize: 837208
[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 92878 52 0 0 25 0 11 0 430546163 857300992 31817 4294967295 134512640 134569956 3221224400 3221214648 1131250775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 31817 13073 16 0 209286 0
vsize: 837208
[startup+970.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28342
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 93862 52 0 0 25 0 11 0 430546163 857300992 31854 4294967295 134512640 134569956 3221224400 3221214752 1131585178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 31854 13073 16 0 209286 0
vsize: 837208
[startup+980.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 94836 52 0 0 25 0 11 0 430546163 857300992 31915 4294967295 134512640 134569956 3221224400 3221213720 1085679290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 31915 13073 16 0 209286 0
vsize: 837208
[startup+990.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 95809 52 0 0 25 0 11 0 430546163 857300992 31976 4294967295 134512640 134569956 3221224400 3221214752 1131585168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 31976 13073 16 0 209286 0
vsize: 837208
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 96782 52 0 0 25 0 11 0 430546163 857300992 32029 4294967295 134512640 134569956 3221224400 3221214752 1131585178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 32029 13073 16 0 209286 0
vsize: 837208
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 97755 52 0 0 25 0 11 0 430546163 857300992 32107 4294967295 134512640 134569956 3221224400 3221214768 1131367220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 32107 13073 16 0 209286 0
vsize: 837208
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 98728 52 0 0 25 0 11 0 430546163 857300992 32171 4294967295 134512640 134569956 3221224400 3221214832 1131389844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 32171 13073 16 0 209286 0
vsize: 837208
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 99710 53 0 0 25 0 11 0 430546163 857300992 32198 4294967295 134512640 134569956 3221224400 3221214752 1131585168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 32198 13073 16 0 209286 0
vsize: 837208
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 100682 53 0 0 25 0 11 0 430546163 857300992 32270 4294967295 134512640 134569956 3221224400 3221214752 1131585168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 32270 13073 16 0 209286 0
vsize: 837208
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 101654 53 0 0 25 0 11 0 430546163 857300992 32357 4294967295 134512640 134569956 3221224400 3221214140 1085632272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 32357 13073 16 0 209286 0
vsize: 837208
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 102625 53 0 0 25 0 11 0 430546163 857300992 32414 4294967295 134512640 134569956 3221224400 3221214752 1131585152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 32414 13073 16 0 209286 0
vsize: 837208
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 103606 53 0 0 25 0 11 0 430546163 857300992 32452 4294967295 134512640 134569956 3221224400 3221214680 1131259136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 32452 13073 16 0 209286 0
vsize: 837208
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 104575 53 0 0 25 0 11 0 430546163 857300992 32532 4294967295 134512640 134569956 3221224400 3221214788 1080203670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 32532 13073 16 0 209286 0
vsize: 837208
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 105544 53 0 0 25 0 11 0 430546163 857300992 32612 4294967295 134512640 134569956 3221224400 3221214752 1131585291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 32612 13073 16 0 209286 0
vsize: 837208
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 106524 53 0 0 25 0 11 0 430546163 857300992 32671 4294967295 134512640 134569956 3221224400 3221214568 1131307605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 32671 13073 16 0 209286 0
vsize: 837208
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 107493 53 0 0 25 0 11 0 430546163 857300992 32753 4294967295 134512640 134569956 3221224400 3221214656 1131427890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 32753 13073 16 0 209286 0
vsize: 837208
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 108473 53 0 0 25 0 11 0 430546163 857300992 32795 4294967295 134512640 134569956 3221224400 3221214752 1131585152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 32795 13073 16 0 209286 0
vsize: 837208
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 109441 54 0 0 25 0 11 0 430546163 857300992 32856 4294967295 134512640 134569956 3221224400 3221214752 1131585168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 32856 13073 16 0 209286 0
vsize: 837208
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) S 28268 12452 12451 0 -1 0 18058 0 1 0 110412 54 0 0 25 0 11 0 430546163 857300992 32906 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 32906 13073 16 0 209286 0
vsize: 837208
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 111387 54 0 0 25 0 11 0 430546163 857300992 32996 4294967295 134512640 134569956 3221224400 3221214752 1131585152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 32996 13073 16 0 209286 0
vsize: 837208
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 112355 54 0 0 25 0 11 0 430546163 857300992 33099 4294967295 134512640 134569956 3221224400 3221213764 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 33099 13073 16 0 209286 0
vsize: 837208
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 113322 54 0 0 25 0 11 0 430546163 857300992 33139 4294967295 134512640 134569956 3221224400 3221214792 1131402665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 33139 13073 16 0 209286 0
vsize: 837208
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 114300 54 0 0 25 0 11 0 430546163 857300992 33209 4294967295 134512640 134569956 3221224400 3221214384 1085679735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 33209 13073 16 0 209286 0
vsize: 837208
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 115268 54 0 0 25 0 11 0 430546163 857300992 33307 4294967295 134512640 134569956 3221224400 3221214752 1131585168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 33307 13073 16 0 209286 0
vsize: 837208
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 116246 55 0 0 25 0 11 0 430546163 857300992 33370 4294967295 134512640 134569956 3221224400 3221214752 1131585178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 33370 13073 16 0 209286 0
vsize: 837208
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 117215 55 0 0 25 0 11 0 430546163 857300992 33452 4294967295 134512640 134569956 3221224400 3221214680 1131259428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 33452 13073 16 0 209286 0
vsize: 837208
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 118184 55 0 0 25 0 11 0 430546163 857300992 33552 4294967295 134512640 134569956 3221224400 3221214216 1085632281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 33552 13073 16 0 209286 0
vsize: 837208
[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 119153 55 0 0 25 0 11 0 430546163 857300992 33631 4294967295 134512640 134569956 3221224400 3221213824 1085679358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 33631 13073 16 0 209286 0
vsize: 837208
[startup+1240.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 28344
Raw data (stat): 28269 (java) R 28268 12452 12451 0 -1 0 18058 0 1 0 120133 55 0 0 25 0 11 0 430546163 857300992 33686 4294967295 134512640 134569956 3221224400 3221214752 1131585164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209302 33686 13073 16 0 209286 0
vsize: 837208
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 28346
Raw data (stat): 28269 (java) Z 28268 12452 12451 0 -1 1036 18058 14267 1 0 120138 55 3566 27 25 0 1 0 430546163 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): 1240.16
CPU time (s): 1237.89
CPU user time (s): 1237.05
CPU system time (s): 0.838872
CPU usage (%): 99.8169
Max. virtual memory (Kb): 838240
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####