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