*** Violation Patterns [ID - Memory Location - Line Number - Thread - Access Type] ***

--------------------------------------

*** RACE *** 1320 "org.apache.log4j.Category.additive" 208 10 READ * 1283 "org.apache.log4j.Category.additive" 135 9 WRITE ***

*** RACE *** 1561 "spider.Spider.lastCheckpoint" 113 10 READ * 1547 "spider.Spider.lastCheckpoint" 120 9 WRITE ***

*** RACE *** 1283 "org.apache.log4j.Category.additive" 135 9 WRITE * 1320 "org.apache.log4j.Category.additive" 208 10 READ ***

*** RACE *** 1297 "org.apache.log4j.Category.repository" 257 10 READ * 1285 "org.apache.log4j.Category.repository" 947 9 WRITE ***

*** RACE *** 1288 "org.apache.log4j.Category.parent" 538 9 WRITE * 1324 "org.apache.log4j.Category.parent" 202 10 READ ***

*** RACE *** 1303 "org.apache.log4j.Category.parent" 442 10 READ * 1288 "org.apache.log4j.Category.parent" 538 9 WRITE ***

*** RACE *** 1324 "org.apache.log4j.Category.parent" 202 10 READ * 1288 "org.apache.log4j.Category.parent" 538 9 WRITE ***

*** RACE *** 1285 "org.apache.log4j.Category.repository" 947 9 WRITE * 1297 "org.apache.log4j.Category.repository" 257 10 READ ***

*** RACE *** 1547 "spider.Spider.lastCheckpoint" 120 9 WRITE * 1561 "spider.Spider.lastCheckpoint" 113 10 READ ***

*** RACE *** 1288 "org.apache.log4j.Category.parent" 538 9 WRITE * 1303 "org.apache.log4j.Category.parent" 442 10 READ ***

-------------------------------------

Number of Threads: 3
Number of Shared Variables: 26
Number of Lock Nodes: 420
Number of Message Nodes: 7
Number of Non-Method Entry/Exit Nodes: 4320
Number of Read/Write Nodes: 3893
Number of Total Nodes: 10640

Number of Races: 10
Number of Atomicity Violations: 0
Number of ASVs: 0