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