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