(1,28) (2,21) (3,19) (4,18) (5,17) (6,24) (8,20) (9,16) (10,27) (11,22) (12,29) (14,30) (15,25) 
nodes: 695  conflicts: 42  modelTime: 658  solveTime: 1325  totalTime: 1989  modelSize: 41293  readTime: 6 size: 13