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