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