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