(1,20) (2,17) (3,28) (4,26) (5,18) (6,27) (7,29) (8,25) (10,30) (11,19) (13,22) (14,24) (15,16) 
nodes: 1881  conflicts: 50  modelTime: 659  solveTime: 3001  totalTime: 3666  modelSize: 41293  readTime: 6 size: 13