(1,23) (2,16) (3,18) (4,25) (5,28) (6,30) (7,19) (8,27) (9,24) (11,29) (12,20) (13,22) (14,21) (15,17) 
nodes: 11005  conflicts: 30  modelTime: 658  solveTime: 21936  totalTime: 22600  modelSize: 41293  readTime: 6 size: 14