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