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