(1,5) (3,28) (4,9) (7,26) (8,29) (10,27) (11,16) (12,24) (13,20) (15,22) (17,25) (18,30) (19,23) 
nodes: 23956  conflicts: 49  modelTime: 1710  solveTime: 75326  totalTime: 77056  modelSize: 72263  readTime: 20 size: 13