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