(1,23) (3,18) (4,29) (5,21) (7,28) (9,25) (12,20) (13,19) (14,26) (15,17) 
nodes: 1231  conflicts: 75  modelTime: 658  solveTime: 1793  totalTime: 2458  modelSize: 41292  readTime: 7 size: 10