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