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