(1,27) (2,19) (3,29) (4,25) (5,21) (6,30) (7,16) (8,28) (9,18) (11,20) (13,24) (14,23) (15,22) 
nodes: 12371  conflicts: 50  modelTime: 659  solveTime: 19373  totalTime: 20038  modelSize: 41293  readTime: 6 size: 13