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