(1,20) (2,30) (3,21) (4,17) (6,18) (9,27) (10,29) (11,19) (12,24) (13,28) (14,23) (15,16) 
nodes: 1459  conflicts: 66  modelTime: 692  solveTime: 1729  totalTime: 2428  modelSize: 41293  readTime: 7 size: 12