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