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