(1,29) (2,5) (3,30) (4,21) (6,15) (7,8) (9,11) (12,16) (13,27) (14,23) (17,24) (18,25) (19,22) (20,26) 
nodes: 23887  conflicts: 42  modelTime: 1714  solveTime: 61884  totalTime: 63618  modelSize: 72264  readTime: 20 size: 14