(1,25) (2,27) (3,16) (4,29) (5,21) (6,20) (7,26) (8,17) (10,22) (11,24) (12,30) (13,19) (15,18) 
nodes: 6483  conflicts: 31  modelTime: 659  solveTime: 19371  totalTime: 20037  modelSize: 41292  readTime: 6 size: 13