(1,29) (2,10) (3,17) (4,22) (5,27) (6,26) (7,8) (9,15) (11,14) (12,21) (13,16) (18,23) (19,28) (20,24) (25,30) 
nodes: 8513  conflicts: 3  modelTime: 1707  solveTime: 51342  totalTime: 53062  modelSize: 72264  readTime: 13 size: 15