(1,25) (2,23) (3,19) (4,26) (6,20) (7,28) (8,29) (9,30) (10,21) (11,16) (12,22) (15,17) 
nodes: 1051  conflicts: 71  modelTime: 677  solveTime: 1037  totalTime: 1721  modelSize: 41292  readTime: 7 size: 12