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