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