(1,26) (2,13) (3,29) (4,12) (5,19) (6,28) (7,8) (9,22) (11,18) (14,16) (15,17) (20,30) (21,23) (24,27) 
nodes: 12754  conflicts: 61  modelTime: 953  solveTime: 52329  totalTime: 53293  modelSize: 72263  readTime: 11 size: 14