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