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