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