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