(1,17) (2,19) (3,25) (4,28) (5,24) (7,29) (8,26) (9,18) (10,16) (11,21) (13,20) (14,30) (15,22) 
nodes: 15316  conflicts: 28  modelTime: 1203  solveTime: 43205  totalTime: 44418  modelSize: 41292  readTime: 10 size: 13