(1,23) (2,21) (3,30) (4,19) (6,22) (7,29) (8,25) (9,17) (10,24) (11,20) (13,28) (14,16) (15,18) 
nodes: 22874  conflicts: 38  modelTime: 659  solveTime: 39052  totalTime: 39718  modelSize: 41293  readTime: 7 size: 13