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