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