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