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