(1,19) (2,23) (3,18) (6,13) (7,8) (9,17) (10,16) (11,29) (12,14) (15,27) (20,25) (21,24) (26,30) 
nodes: 5496  conflicts: 73  modelTime: 1048  solveTime: 14861  totalTime: 15921  modelSize: 72263  readTime: 12 size: 13