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