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