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