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-timtab2.opb
MD5SUM	e4125be387acbcc645dccab0e301ae8f
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	3027
Biggest coefficient in the objective function	450560000000000
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	60439117299975427
Number of bits of the sum of numbers in the objective function	56
Biggest number in a constraint	450560000000000
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	60439117299975427
Number of bits of the biggest sum of numbers	56
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.049991
Number of variables	5220
Total number of constraints	952
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	113
Number of constraints which are nor clauses,nor cardinality constraints	839
Minimum length of a constraint	1
Maximum length of a constraint	114
Trace number 18397

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-04-21 14:48:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18092 boxname=wulflinc5 idbench=1392 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  e4125be387acbcc645dccab0e301ae8f  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-timtab2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-timtab2.opb
IDLAUNCH: 18092
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        912412 kB
Buffers:         12940 kB
Cached:          87780 kB
SwapCached:        328 kB
Active:          13096 kB
Inactive:        90168 kB
HighTotal:      131008 kB
HighFree:        70896 kB
LowTotal:       903652 kB
LowFree:        841516 kB
SwapTotal:     2097136 kB
SwapFree:      2096444 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5728 kB
Slab:            13148 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 15:08:53 (client local time) WITH STATUS 143 IN 1263.81 SECONDS
stats: 18092 7 1263.81 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-timtab2.opb
c reading problem 
c [nbvar=5220]
c [nbconstr=952]
c time 12.115
c #vars     5220
c #clauses  1080
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.86 0.94 0.90 2/54 24108
Raw data (stat): 24108 (runsolver) R 24107 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487697479 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.88 0.94 0.90 2/63 24117
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18015 0 1 0 862 46 0 0 25 0 10 0 487697479 855621632 19912 4294967295 134512640 134569956 3221224400 3221214440 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208892 19912 13073 16 0 208876 0
vsize: 835568
[startup+20.0026 s]
Raw data (loadavg): 1.21 1.01 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18090 0 1 0 1531 47 0 0 25 0 11 0 487697479 867049472 23383 4294967295 134512640 134569956 3221224400 3221214940 1131280243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211682 23383 13073 16 0 211666 0
vsize: 846728
[startup+30.0035 s]
Raw data (loadavg): 1.17 1.01 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 2446 47 0 0 25 0 11 0 487697479 866787328 23905 4294967295 134512640 134569956 3221224400 3221214776 1131334202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211618 23905 13073 16 0 211602 0
vsize: 846472
[startup+40.0037 s]
Raw data (loadavg): 1.15 1.01 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 3387 47 0 0 25 0 11 0 487697479 865968128 24467 4294967295 134512640 134569956 3221224400 3221214520 1131219265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211418 24467 13073 16 0 211402 0
vsize: 845672
[startup+50.0044 s]
Raw data (loadavg): 1.12 1.01 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 4353 47 0 0 25 0 11 0 487697479 865968128 24467 4294967295 134512640 134569956 3221224400 3221214776 1131333185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211418 24467 13073 16 0 211402 0
vsize: 845672
[startup+60.0047 s]
Raw data (loadavg): 1.10 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 5306 48 0 0 25 0 11 0 487697479 865968128 24471 4294967295 134512640 134569956 3221224400 3221214776 1131332208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211418 24471 13073 16 0 211402 0
vsize: 845672
[startup+70.0176 s]
Raw data (loadavg): 1.09 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 6265 48 0 0 25 0 11 0 487697479 865968128 24476 4294967295 134512640 134569956 3221224400 3221214776 1131334136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 24476 13073 16 0 211402 0
vsize: 845672
[startup+80.027 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 7215 48 0 0 25 0 11 0 487697479 865968128 24724 4294967295 134512640 134569956 3221224400 3221214680 1131248513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211418 24724 13073 16 0 211402 0
vsize: 845672
[startup+90.0269 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 8179 48 0 0 25 0 11 0 487697479 865968128 24844 4294967295 134512640 134569956 3221224400 3221214776 1131334113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211418 24844 13073 16 0 211402 0
vsize: 845672
[startup+100.033 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 9138 48 0 0 25 0 11 0 487697479 865968128 24962 4294967295 134512640 134569956 3221224400 3221214656 1131625747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211418 24962 13073 16 0 211402 0
vsize: 845672
[startup+110.038 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 10098 48 0 0 25 0 11 0 487697479 865968128 25111 4294967295 134512640 134569956 3221224400 3221214752 1131334230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 25111 13073 16 0 211402 0
vsize: 845672
[startup+120.039 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) S 24107 24215 24214 0 -1 0 18091 0 1 0 11056 48 0 0 25 0 11 0 487697479 865968128 25294 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 25294 13073 16 0 211402 0
vsize: 845672
[startup+130.04 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 12016 49 0 0 25 0 11 0 487697479 865968128 25459 4294967295 134512640 134569956 3221224400 3221214656 1131248893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 25459 13073 16 0 211402 0
vsize: 845672
[startup+140.067 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 12981 49 0 0 25 0 11 0 487697479 865968128 25600 4294967295 134512640 134569956 3221224400 3221214656 1131248636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 25600 13073 16 0 211402 0
vsize: 845672
[startup+150.08 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 13944 49 0 0 25 0 11 0 487697479 865968128 25792 4294967295 134512640 134569956 3221224400 3221214656 1131248485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 25792 13073 16 0 211402 0
vsize: 845672
[startup+160.082 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 14909 50 0 0 25 0 11 0 487697479 865968128 25927 4294967295 134512640 134569956 3221224400 3221214656 1131248890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 25927 13073 16 0 211402 0
vsize: 845672
[startup+170.091 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 15868 50 0 0 25 0 11 0 487697479 865968128 26112 4294967295 134512640 134569956 3221224400 3221214160 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 26112 13073 16 0 211402 0
vsize: 845672
[startup+180.092 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 16831 51 0 0 25 0 11 0 487697479 865968128 26276 4294967295 134512640 134569956 3221224400 3221214648 1131625875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 26276 13073 16 0 211402 0
vsize: 845672
[startup+190.091 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 17794 51 0 0 25 0 11 0 487697479 865968128 26484 4294967295 134512640 134569956 3221224400 3221213976 1131181137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 26484 13073 16 0 211402 0
vsize: 845672
[startup+200.092 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 18758 51 0 0 25 0 11 0 487697479 865968128 26637 4294967295 134512640 134569956 3221224400 3221214656 1131248850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 26637 13073 16 0 211402 0
vsize: 845672
[startup+210.099 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 19721 51 0 0 25 0 11 0 487697479 865968128 26829 4294967295 134512640 134569956 3221224400 3221214656 1131248893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 26829 13073 16 0 211402 0
vsize: 845672
[startup+220.108 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 20683 52 0 0 25 0 11 0 487697479 865968128 27036 4294967295 134512640 134569956 3221224400 3221214656 1131248893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 27036 13073 16 0 211402 0
vsize: 845672
[startup+230.107 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 21645 52 0 0 25 0 11 0 487697479 865968128 27227 4294967295 134512640 134569956 3221224400 3221214028 1131181136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 27227 13073 16 0 211402 0
vsize: 845672
[startup+240.108 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 22622 52 0 0 25 0 11 0 487697479 865968128 27378 4294967295 134512640 134569956 3221224400 3221214456 1131502856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 27378 13073 16 0 211402 0
vsize: 845672
[startup+250.109 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 23600 53 0 0 25 0 11 0 487697479 865968128 27523 4294967295 134512640 134569956 3221224400 3221214280 1131499719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 27523 13073 16 0 211402 0
vsize: 845672
[startup+260.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 24568 53 0 0 25 0 11 0 487697479 865968128 27735 4294967295 134512640 134569956 3221224400 3221214656 1131249631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 27735 13073 16 0 211402 0
vsize: 845672
[startup+270.111 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 25528 53 0 0 24 0 11 0 487697479 865968128 27907 4294967295 134512640 134569956 3221224400 3221214160 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 27907 13073 16 0 211402 0
vsize: 845672
[startup+280.112 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 26493 54 0 0 25 0 11 0 487697479 865968128 28053 4294967295 134512640 134569956 3221224400 3221214656 1131249387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 28053 13073 16 0 211402 0
vsize: 845672
[startup+290.112 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 27436 54 0 0 25 0 11 0 487697479 865968128 28235 4294967295 134512640 134569956 3221224400 3221214752 1131332208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 28235 13073 16 0 211402 0
vsize: 845672
[startup+300.118 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 28391 54 0 0 25 0 11 0 487697479 865968128 28357 4294967295 134512640 134569956 3221224400 3221214416 1131181088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 28357 13073 16 0 211402 0
vsize: 845672
[startup+310.117 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 29339 54 0 0 25 0 11 0 487697479 865968128 28485 4294967295 134512640 134569956 3221224400 3221214656 1131248590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 28485 13073 16 0 211402 0
vsize: 845672
[startup+320.133 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 30289 55 0 0 25 0 11 0 487697479 865968128 28624 4294967295 134512640 134569956 3221224400 3221214524 1131181136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 28624 13073 16 0 211402 0
vsize: 845672
[startup+330.133 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 31242 55 0 0 25 0 11 0 487697479 865968128 28816 4294967295 134512640 134569956 3221224400 3221214752 1131332273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 28816 13073 16 0 211402 0
vsize: 845672
[startup+340.145 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 32195 56 0 0 24 0 11 0 487697479 865968128 29027 4294967295 134512640 134569956 3221224400 3221213916 1131181136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 29027 13073 16 0 211402 0
vsize: 845672
[startup+350.146 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 33165 56 0 0 25 0 11 0 487697479 865968128 29125 4294967295 134512640 134569956 3221224400 3221214464 1131502823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 29125 13073 16 0 211402 0
vsize: 845672
[startup+360.148 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 34135 56 0 0 25 0 11 0 487697479 865968128 29225 4294967295 134512640 134569956 3221224400 3221214752 1131334590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 29225 13073 16 0 211402 0
vsize: 845672
[startup+370.148 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 35106 56 0 0 25 0 11 0 487697479 865968128 29315 4294967295 134512640 134569956 3221224400 3221214832 1131321692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 29315 13073 16 0 211402 0
vsize: 845672
[startup+380.149 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 36075 57 0 0 25 0 11 0 487697479 865968128 29401 4294967295 134512640 134569956 3221224400 3221214848 1131369450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 29401 13073 16 0 211402 0
vsize: 845672
[startup+390.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 37038 57 0 0 25 0 11 0 487697479 865968128 29511 4294967295 134512640 134569956 3221224400 3221214824 1131489599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 29511 13073 16 0 211402 0
vsize: 845672
[startup+400.151 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 38008 57 0 0 25 0 11 0 487697479 865968128 29606 4294967295 134512640 134569956 3221224400 3221214688 1131375263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 29606 13073 16 0 211402 0
vsize: 845672
[startup+410.151 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 38971 58 0 0 25 0 11 0 487697479 865968128 29723 4294967295 134512640 134569956 3221224400 3221214028 1131181136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 29723 13073 16 0 211402 0
vsize: 845672
[startup+420.152 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 39948 58 0 0 25 0 11 0 487697479 865968128 29828 4294967295 134512640 134569956 3221224400 3221214752 1131333270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 29828 13073 16 0 211402 0
vsize: 845672
[startup+430.153 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 40913 58 0 0 25 0 11 0 487697479 865968128 29948 4294967295 134512640 134569956 3221224400 3221214784 1131555893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 29948 13073 16 0 211402 0
vsize: 845672
[startup+440.152 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 41884 59 0 0 25 0 11 0 487697479 865968128 30045 4294967295 134512640 134569956 3221224400 3221214752 1131333454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 30045 13073 16 0 211402 0
vsize: 845672
[startup+450.153 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 42856 59 0 0 24 0 11 0 487697479 865968128 30137 4294967295 134512640 134569956 3221224400 3221214688 1131377874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 30137 13073 16 0 211402 0
vsize: 845672
[startup+460.154 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 43828 59 0 0 25 0 11 0 487697479 865968128 30213 4294967295 134512640 134569956 3221224400 3221214780 1080204235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 30213 13073 16 0 211402 0
vsize: 845672
[startup+470.154 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 44799 60 0 0 25 0 11 0 487697479 865968128 30267 4294967295 134512640 134569956 3221224400 3221214752 1131334213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 30267 13073 16 0 211402 0
vsize: 845672
[startup+480.155 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 45770 60 0 0 25 0 11 0 487697479 865968128 30342 4294967295 134512640 134569956 3221224400 3221214648 1131625744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 30342 13073 16 0 211402 0
vsize: 845672
[startup+490.155 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 46741 60 0 0 25 0 11 0 487697479 865968128 30569 4294967295 134512640 134569956 3221224400 3221214704 1131191982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 30569 13073 16 0 211402 0
vsize: 845672
[startup+500.156 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 47699 60 0 0 25 0 11 0 487697479 865968128 30676 4294967295 134512640 134569956 3221224400 3221214104 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 30676 13073 16 0 211402 0
vsize: 845672
[startup+510.157 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 48665 61 0 0 25 0 11 0 487697479 865968128 30820 4294967295 134512640 134569956 3221224400 3221214752 1131334204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 30820 13073 16 0 211402 0
vsize: 845672
[startup+520.158 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 49633 61 0 0 25 0 11 0 487697479 865968128 30960 4294967295 134512640 134569956 3221224400 3221214656 1131248893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 30960 13073 16 0 211402 0
vsize: 845672
[startup+530.158 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 50598 61 0 0 25 0 11 0 487697479 865968128 31091 4294967295 134512640 134569956 3221224400 3221213744 1131502812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 31091 13073 16 0 211402 0
vsize: 845672
[startup+540.158 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 51568 61 0 0 25 0 11 0 487697479 865968128 31271 4294967295 134512640 134569956 3221224400 3221214656 1131248485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 31271 13073 16 0 211402 0
vsize: 845672
[startup+550.159 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 52537 61 0 0 25 0 11 0 487697479 865968128 31407 4294967295 134512640 134569956 3221224400 3221214752 1131332208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 31407 13073 16 0 211402 0
vsize: 845672
[startup+560.159 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 53505 61 0 0 24 0 11 0 487697479 865968128 31564 4294967295 134512640 134569956 3221224400 3221214656 1131248893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 31564 13073 16 0 211402 0
vsize: 845672
[startup+570.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 54479 62 0 0 25 0 11 0 487697479 865968128 31715 4294967295 134512640 134569956 3221224400 3221214656 1131248893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 31715 13073 16 0 211402 0
vsize: 845672
[startup+580.161 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 55445 62 0 0 25 0 11 0 487697479 865968128 32002 4294967295 134512640 134569956 3221224400 3221214704 1131192069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211418 32002 13073 16 0 211402 0
vsize: 845672
[startup+590.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 56389 62 0 0 25 0 11 0 487697479 865968128 32125 4294967295 134512640 134569956 3221224400 3221214656 1131248669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 32125 13073 16 0 211402 0
vsize: 845672
[startup+600.162 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 57334 63 0 0 25 0 11 0 487697479 865968128 32377 4294967295 134512640 134569956 3221224400 3221214752 1131334213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 32377 13073 16 0 211402 0
vsize: 845672
[startup+610.162 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 58283 63 0 0 24 0 11 0 487697479 865968128 32605 4294967295 134512640 134569956 3221224400 3221214752 1131333372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 32605 13073 16 0 211402 0
vsize: 845672
[startup+620.163 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 59243 63 0 0 25 0 11 0 487697479 865968128 32794 4294967295 134512640 134569956 3221224400 3221214656 1131248922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 32794 13073 16 0 211402 0
vsize: 845672
[startup+630.164 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 60206 64 0 0 25 0 11 0 487697479 865968128 32948 4294967295 134512640 134569956 3221224400 3221214656 1131248984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211418 32948 13073 16 0 211402 0
vsize: 845672
[startup+640.164 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 61173 64 0 0 25 0 11 0 487697479 865968128 33050 4294967295 134512640 134569956 3221224400 3221214696 1131313275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 33050 13073 16 0 211402 0
vsize: 845672
[startup+650.165 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 62140 65 0 0 25 0 11 0 487697479 865968128 33170 4294967295 134512640 134569956 3221224400 3221214656 1131249121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 33170 13073 16 0 211402 0
vsize: 845672
[startup+660.165 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 63111 65 0 0 25 0 11 0 487697479 865968128 33246 4294967295 134512640 134569956 3221224400 3221214752 1131333139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 33246 13073 16 0 211402 0
vsize: 845672
[startup+670.167 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 64078 65 0 0 25 0 11 0 487697479 865968128 33353 4294967295 134512640 134569956 3221224400 3221214272 1085679508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 33353 13073 16 0 211402 0
vsize: 845672
[startup+680.167 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 65044 66 0 0 25 0 11 0 487697479 865968128 33458 4294967295 134512640 134569956 3221224400 3221214124 1131180960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 33458 13073 16 0 211402 0
vsize: 845672
[startup+690.167 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 66010 66 0 0 25 0 11 0 487697479 865968128 33673 4294967295 134512640 134569956 3221224400 3221214384 1085679519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 33673 13073 16 0 211402 0
vsize: 845672
[startup+700.168 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 66981 66 0 0 25 0 11 0 487697479 865968128 33883 4294967295 134512640 134569956 3221224400 3221214656 1131249764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 33883 13073 16 0 211402 0
vsize: 845672
[startup+710.168 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 67951 66 0 0 25 0 11 0 487697479 865968128 33961 4294967295 134512640 134569956 3221224400 3221214752 1131333142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 33961 13073 16 0 211402 0
vsize: 845672
[startup+720.169 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24118
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 68918 67 0 0 25 0 11 0 487697479 865968128 34133 4294967295 134512640 134569956 3221224400 3221214128 1131502856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 34133 13073 16 0 211402 0
vsize: 845672
[startup+730.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24171
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 69882 70 0 0 25 0 11 0 487697479 865968128 34205 4294967295 134512640 134569956 3221224400 3221214292 1131502820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 34205 13073 16 0 211402 0
vsize: 845672
[startup+740.171 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24171
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 70846 70 0 0 25 0 11 0 487697479 865968128 34315 4294967295 134512640 134569956 3221224400 3221214280 1131499784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 34315 13073 16 0 211402 0
vsize: 845672
[startup+750.172 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24171
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 71811 71 0 0 25 0 11 0 487697479 865968128 34546 4294967295 134512640 134569956 3221224400 3221214656 1131248880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 34546 13073 16 0 211402 0
vsize: 845672
[startup+760.172 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24171
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 72781 71 0 0 25 0 11 0 487697479 865968128 34852 4294967295 134512640 134569956 3221224400 3221214752 1131332185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 34852 13073 16 0 211402 0
vsize: 845672
[startup+770.173 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24171
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 73747 71 0 0 25 0 11 0 487697479 865968128 34971 4294967295 134512640 134569956 3221224400 3221214656 1131248893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 34971 13073 16 0 211402 0
vsize: 845672
[startup+780.174 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24171
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 74711 72 0 0 25 0 11 0 487697479 865968128 35076 4294967295 134512640 134569956 3221224400 3221214704 1131192094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 35076 13073 16 0 211402 0
vsize: 845672
[startup+790.174 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 75675 72 0 0 25 0 11 0 487697479 865968128 35205 4294967295 134512640 134569956 3221224400 3221214656 1131248893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 35205 13073 16 0 211402 0
vsize: 845672
[startup+800.176 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 76639 72 0 0 25 0 11 0 487697479 865968128 35467 4294967295 134512640 134569956 3221224400 3221214640 1131627701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 35467 13073 16 0 211402 0
vsize: 845672
[startup+810.176 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 77602 73 0 0 25 0 11 0 487697479 865968128 35665 4294967295 134512640 134569956 3221224400 3221214656 1131249731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 35665 13073 16 0 211402 0
vsize: 845672
[startup+820.176 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 78570 73 0 0 25 0 11 0 487697479 865968128 35850 4294967295 134512640 134569956 3221224400 3221214656 1131248481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 35850 13073 16 0 211402 0
vsize: 845672
[startup+830.177 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 79536 74 0 0 25 0 11 0 487697479 865968128 35961 4294967295 134512640 134569956 3221224400 3221214748 1131191916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 35961 13073 16 0 211402 0
vsize: 845672
[startup+840.176 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 80497 74 0 0 25 0 11 0 487697479 865968128 36254 4294967295 134512640 134569956 3221224400 3221214704 1131191936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 36254 13073 16 0 211402 0
vsize: 845672
[startup+850.178 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 81459 75 0 0 25 0 11 0 487697479 865968128 36590 4294967295 134512640 134569956 3221224400 3221214656 1131249138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 36590 13073 16 0 211402 0
vsize: 845672
[startup+860.178 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 82422 75 0 0 25 0 11 0 487697479 865968128 36754 4294967295 134512640 134569956 3221224400 3221214656 1131249146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 36754 13073 16 0 211402 0
vsize: 845672
[startup+870.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 83384 76 0 0 25 0 11 0 487697479 865968128 36873 4294967295 134512640 134569956 3221224400 3221214752 1131334234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 36873 13073 16 0 211402 0
vsize: 845672
[startup+880.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 84347 76 0 0 24 0 11 0 487697479 865968128 37201 4294967295 134512640 134569956 3221224400 3221214752 1131332031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 37201 13073 16 0 211402 0
vsize: 845672
[startup+890.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) S 24107 24215 24214 0 -1 0 18091 0 1 0 85320 76 0 0 25 0 11 0 487697479 865968128 37482 4294967295 134512640 134569956 3221224400 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 37482 13073 16 0 211402 0
vsize: 845672
[startup+900.181 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) S 24107 24215 24214 0 -1 0 18091 0 1 0 86290 76 0 0 25 0 11 0 487697479 865968128 37610 4294967295 134512640 134569956 3221224400 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 37610 13073 16 0 211402 0
vsize: 845672
[startup+910.181 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) S 24107 24215 24214 0 -1 0 18091 0 1 0 87264 77 0 0 25 0 11 0 487697479 865968128 37712 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 37712 13073 16 0 211402 0
vsize: 845672
[startup+920.184 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 88236 77 0 0 25 0 11 0 487697479 865968128 37828 4294967295 134512640 134569956 3221224400 3221214656 1131248481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 37828 13073 16 0 211402 0
vsize: 845672
[startup+930.184 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 89203 78 0 0 25 0 11 0 487697479 865968128 37942 4294967295 134512640 134569956 3221224400 3221214752 1131334837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 37942 13073 16 0 211402 0
vsize: 845672
[startup+940.183 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) S 24107 24215 24214 0 -1 0 18091 0 1 0 90174 78 0 0 25 0 11 0 487697479 865968128 38043 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 38043 13073 16 0 211402 0
vsize: 845672
[startup+950.184 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 91147 79 0 0 25 0 11 0 487697479 865968128 38211 4294967295 134512640 134569956 3221224400 3221214024 1131180981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 38211 13073 16 0 211402 0
vsize: 845672
[startup+960.185 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 92115 79 0 0 25 0 11 0 487697479 865968128 38351 4294967295 134512640 134569956 3221224400 3221214752 1131333320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 38351 13073 16 0 211402 0
vsize: 845672
[startup+970.186 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 93081 80 0 0 25 0 11 0 487697479 865968128 38418 4294967295 134512640 134569956 3221224400 3221214688 1131376929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 38418 13073 16 0 211402 0
vsize: 845672
[startup+980.186 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 94046 80 0 0 25 0 11 0 487697479 865968128 38529 4294967295 134512640 134569956 3221224400 3221214648 1131625884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 38529 13073 16 0 211402 0
vsize: 845672
[startup+990.187 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 95012 80 0 0 25 0 11 0 487697479 865968128 38757 4294967295 134512640 134569956 3221224400 3221214688 1131235460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 38757 13073 16 0 211402 0
vsize: 845672
[startup+1000.19 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 95981 81 0 0 25 0 11 0 487697479 865968128 39020 4294967295 134512640 134569956 3221224400 3221214656 1131249045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 39020 13073 16 0 211402 0
vsize: 845672
[startup+1010.19 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 96953 81 0 0 25 0 11 0 487697479 865968128 39118 4294967295 134512640 134569956 3221224400 3221214656 1131248513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 39118 13073 16 0 211402 0
vsize: 845672
[startup+1020.19 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 97925 81 0 0 25 0 11 0 487697479 865968128 39210 4294967295 134512640 134569956 3221224400 3221214752 1131333320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 39210 13073 16 0 211402 0
vsize: 845672
[startup+1030.19 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 98900 81 0 0 25 0 11 0 487697479 865968128 39330 4294967295 134512640 134569956 3221224400 3221214752 1131332208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 39330 13073 16 0 211402 0
vsize: 845672
[startup+1040.19 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 99875 82 0 0 25 0 11 0 487697479 865968128 39443 4294967295 134512640 134569956 3221224400 3221214656 1131248802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 39443 13073 16 0 211402 0
vsize: 845672
[startup+1050.19 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24173
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 100846 82 0 0 25 0 11 0 487697479 865968128 39522 4294967295 134512640 134569956 3221224400 3221214656 1131248893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 39522 13073 16 0 211402 0
vsize: 845672
[startup+1060.19 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24175
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 101813 83 0 0 24 0 11 0 487697479 865968128 39566 4294967295 134512640 134569956 3221224400 3221214656 1131248650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 39566 13073 16 0 211402 0
vsize: 845672
[startup+1070.19 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24175
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 102781 83 0 0 25 0 11 0 487697479 865968128 39612 4294967295 134512640 134569956 3221224400 3221214704 1131191961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 39612 13073 16 0 211402 0
vsize: 845672
[startup+1080.19 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24175
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 103743 84 0 0 25 0 11 0 487697479 865968128 40035 4294967295 134512640 134569956 3221224400 3221214752 1131332273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 40035 13073 16 0 211402 0
vsize: 845672
[startup+1090.19 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24175
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 104702 84 0 0 25 0 11 0 487697479 865968128 40460 4294967295 134512640 134569956 3221224400 3221213952 1131502856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 40460 13073 16 0 211402 0
vsize: 845672
[startup+1100.19 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24175
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 105665 84 0 0 25 0 11 0 487697479 865968128 40721 4294967295 134512640 134569956 3221224400 3221214752 1131333316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 40721 13073 16 0 211402 0
vsize: 845672
[startup+1110.19 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24175
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 106626 85 0 0 25 0 11 0 487697479 865968128 41181 4294967295 134512640 134569956 3221224400 3221214656 1131248576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 41181 13073 16 0 211402 0
vsize: 845672
[startup+1120.19 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24175
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 107593 85 0 0 25 0 11 0 487697479 865968128 41325 4294967295 134512640 134569956 3221224400 3221214136 1076460929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 41325 13073 16 0 211402 0
vsize: 845672
[startup+1130.19 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24175
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 108549 85 0 0 25 0 11 0 487697479 865968128 42429 4294967295 134512640 134569956 3221224400 3221214656 1131248944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 42429 13073 16 0 211402 0
vsize: 845672
[startup+1140.19 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24175
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 109511 85 0 0 25 0 11 0 487697479 865968128 42671 4294967295 134512640 134569956 3221224400 3221214656 1131248513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 42671 13073 16 0 211402 0
vsize: 845672
[startup+1150.19 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24175
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 110483 85 0 0 25 0 11 0 487697479 865968128 43193 4294967295 134512640 134569956 3221224400 3221214752 1131332185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 43193 13073 16 0 211402 0
vsize: 845672
[startup+1160.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24175
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 111454 86 0 0 25 0 11 0 487697479 865968128 43193 4294967295 134512640 134569956 3221224400 3221214656 1131248992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 43193 13073 16 0 211402 0
vsize: 845672
[startup+1170.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24175
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 112422 86 0 0 25 0 11 0 487697479 865968128 43277 4294967295 134512640 134569956 3221224400 3221214748 1131248460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 43277 13073 16 0 211402 0
vsize: 845672
[startup+1180.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24175
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 113393 87 0 0 25 0 11 0 487697479 865968128 43549 4294967295 134512640 134569956 3221224400 3221214656 1131248485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 43549 13073 16 0 211402 0
vsize: 845672
[startup+1190.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24175
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 114366 87 0 0 25 0 11 0 487697479 865968128 43659 4294967295 134512640 134569956 3221224400 3221214408 1131502802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 43659 13073 16 0 211402 0
vsize: 845672
[startup+1200.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24175
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 115338 87 0 0 24 0 11 0 487697479 865968128 43725 4294967295 134512640 134569956 3221224400 3221214656 1131249065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 43725 13073 16 0 211402 0
vsize: 845672
[startup+1210.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24175
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 116313 88 0 0 25 0 11 0 487697479 865968128 43789 4294967295 134512640 134569956 3221224400 3221214656 1131248537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 43789 13073 16 0 211402 0
vsize: 845672
[startup+1220.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24175
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 117284 88 0 0 25 0 11 0 487697479 865968128 43851 4294967295 134512640 134569956 3221224400 3221213992 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 43851 13073 16 0 211402 0
vsize: 845672
[startup+1230.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24175
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 118256 88 0 0 25 0 11 0 487697479 865968128 43989 4294967295 134512640 134569956 3221224400 3221214752 1131299671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 43989 13073 16 0 211402 0
vsize: 845672
[startup+1240.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24175
Raw data (stat): 24108 (java) R 24107 24215 24214 0 -1 0 18091 0 1 0 119227 88 0 0 25 0 11 0 487697479 865968128 44108 4294967295 134512640 134569956 3221224400 3221214752 1131333316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 44108 13073 16 0 211402 0
vsize: 845672
[startup+1250.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24175
Raw data (stat): 24108 (java) S 24107 24215 24214 0 -1 0 18091 0 1 0 120200 89 0 0 25 0 11 0 487697479 865968128 44191 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211418 44191 13073 16 0 211402 0
vsize: 845672
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.35 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 24177
Raw data (stat): 24108 (java) Z 24107 24215 24214 0 -1 1036 18091 32156 1 2 120204 97 6002 77 24 0 1 0 487697479 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.35
CPU time (s): 1263.81
CPU user time (s): 1262.07
CPU system time (s): 1.74473
CPU usage (%): 101.077
Max. virtual memory (Kb): 846728
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####