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