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