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