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