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