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