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