(1,17) (2,23) (3,20) (4,25) (5,27) (6,22) (7,30) (8,18) (9,16) (10,26) (11,28) (12,24) (13,21) (15,29) 
nodes: 4875  conflicts: 24  modelTime: 656  solveTime: 9304  totalTime: 9967  modelSize: 41292  readTime: 7 size: 14