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