(1,24) (2,30) (4,13) (5,16) (6,26) (7,11) (8,18) (9,25) (10,29) (12,22) (15,21) (17,23) (19,28) (20,27) 
nodes: 17841  conflicts: 51  modelTime: 946  solveTime: 60424  totalTime: 61381  modelSize: 72267  readTime: 11 size: 14