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