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