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