(1,12) (2,13) (3,30) (4,10) (5,29) (6,16) (7,19) (8,26) (9,15) (11,20) (14,24) (17,18) (21,22) (23,25) (27,28) 
nodes: 8059  conflicts: 34  modelTime: 966  solveTime: 27718  totalTime: 28695  modelSize: 72269  readTime: 11 size: 15