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