(1,29) (4,24) (5,25) (6,26) (7,20) (8,21) (10,27) (11,16) (12,30) (13,22) (15,23) 
nodes: 1093  conflicts: 76  modelTime: 657  solveTime: 1059  totalTime: 1723  modelSize: 41293  readTime: 7 size: 11