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