(1,17) (2,12) (4,9) (5,29) (6,21) (7,10) (8,30) (11,18) (13,25) (15,19) (16,27) (20,22) (23,24) (26,28) 
nodes: 1920  conflicts: 81  modelTime: 960  solveTime: 5498  totalTime: 6469  modelSize: 72262  readTime: 11 size: 14