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