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