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