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