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