(1,23) (2,17) (3,30) (4,28) (5,25) (6,22) (7,18) (9,24) (10,19) (13,26) (15,21) 
nodes: 986  conflicts: 54  modelTime: 659  solveTime: 1026  totalTime: 1692  modelSize: 41292  readTime: 7 size: 11