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