(1,22) (3,23) (5,16) (7,21) (8,25) (11,20) (12,17) (13,28) (14,30) (15,24) 
nodes: 1091  conflicts: 73  modelTime: 689  solveTime: 1109  totalTime: 1805  modelSize: 41292  readTime: 7 size: 10