(1,20) (2,21) (3,28) (4,25) (5,23) (6,19) (7,24) (8,22) (9,29) (10,16) (11,18) (12,26) (15,27) 
nodes: 5814  conflicts: 46  modelTime: 726  solveTime: 12989  totalTime: 13722  modelSize: 41293  readTime: 7 size: 13