(1,16) (2,20) (3,22) (4,19) (5,25) (7,18) (8,29) (9,26) (11,28) (12,24) (13,21) (14,17) (15,30) 
nodes: 1609  conflicts: 38  modelTime: 658  solveTime: 2134  totalTime: 2798  modelSize: 41293  readTime: 6 size: 13