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