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