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