(1,20) (2,24) (3,17) (4,28) (7,29) (8,16) (9,30) (11,18) (12,25) (13,22) (14,21) (15,27) 
nodes: 942  conflicts: 45  modelTime: 661  solveTime: 923  totalTime: 1591  modelSize: 41293  readTime: 7 size: 12