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