(1,27) (2,24) (3,30) (4,17) (5,26) (6,18) (7,23) (8,19) (9,16) (10,29) (11,28) (12,25) (13,21) (14,22) (15,20) 
nodes: 6967  conflicts: 29  modelTime: 685  solveTime: 14219  totalTime: 14910  modelSize: 41293  readTime: 6 size: 15