(1,17) (2,16) (3,28) (4,27) (5,23) (6,20) (7,24) (8,25) (9,21) (10,29) (11,18) (12,30) (13,26) (14,19) 
nodes: 7355  conflicts: 12  modelTime: 655  solveTime: 14219  totalTime: 14879  modelSize: 41292  readTime: 5 size: 14