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