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