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