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