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