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