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