(1,17) (2,30) (3,28) (4,29) (5,24) (7,26) (9,19) (11,20) (12,21) (13,18) (14,22) 
nodes: 1408  conflicts: 71  modelTime: 667  solveTime: 1469  totalTime: 2143  modelSize: 41292  readTime: 7 size: 11