(1,25) (2,27) (3,21) (4,23) (5,28) (6,19) (8,30) (9,26) (10,24) (12,29) (14,18) (15,22) 
nodes: 1128  conflicts: 43  modelTime: 661  solveTime: 1059  totalTime: 1727  modelSize: 41293  readTime: 7 size: 12