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