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