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