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