(1,27) (2,22) (3,25) (4,28) (5,16) (6,26) (7,29) (8,24) (9,30) (11,23) (13,21) (15,17) 
nodes: 2002  conflicts: 56  modelTime: 658  solveTime: 1895  totalTime: 2560  modelSize: 41292  readTime: 7 size: 12