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