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