(1,17) (2,23) (3,27) (4,26) (5,18) (6,21) (7,29) (9,28) (10,24) (11,16) (12,25) (14,30) (15,19) 
nodes: 4320  conflicts: 44  modelTime: 656  solveTime: 7226  totalTime: 7889  modelSize: 41292  readTime: 6 size: 13