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