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