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