(1,12) (2,25) (3,6) (4,24) (5,23) (7,20) (8,18) (9,10) (13,16) (15,22) (17,19) (21,26) (27,28) (29,30) 
nodes: 38525  conflicts: 35  modelTime: 1695  solveTime: 161903  totalTime: 163619  modelSize: 72263  readTime: 20 size: 14