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