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