(1,22) (2,24) (3,17) (4,23) (5,29) (8,28) (9,19) (10,18) (11,25) (12,27) (13,21) (14,20) (15,30) 
nodes: 1534  conflicts: 57  modelTime: 659  solveTime: 1267  totalTime: 1933  modelSize: 41292  readTime: 7 size: 13