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