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