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