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