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