(3,30) (4,27) (5,24) (6,29) (7,17) (8,19) (9,21) (10,28) (11,16) (12,18) (13,26) (14,25) (15,23) 
nodes: 2011  conflicts: 44  modelTime: 660  solveTime: 3166  totalTime: 3832  modelSize: 41292  readTime: 6 size: 13