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