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