(1,27) (2,20) (3,26) (5,29) (6,23) (7,19) (10,25) (12,28) (13,18) (14,30) (15,22) 
nodes: 541  conflicts: 81  modelTime: 675  solveTime: 596  totalTime: 1278  modelSize: 41300  readTime: 7 size: 11