(1,24) (2,28) (3,25) (4,23) (5,20) (6,29) (7,16) (8,26) (9,17) (10,27) (11,18) (13,30) (14,22) (15,19) 
nodes: 15450  conflicts: 22  modelTime: 682  solveTime: 55894  totalTime: 56582  modelSize: 41293  readTime: 6 size: 14