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