(1,26) (2,27) (3,9) (4,17) (5,21) (6,18) (7,14) (8,29) (10,28) (11,19) (12,25) (13,24) (15,30) (16,22) (20,23) 
nodes: 12000  conflicts: 6  modelTime: 1695  solveTime: 67943  totalTime: 69653  modelSize: 72264  readTime: 15 size: 15