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