(1,21) (2,27) (3,18) (4,25) (5,16) (6,30) (7,28) (8,26) (9,22) (10,24) (13,20) (14,29) (15,19) 
nodes: 6130  conflicts: 28  modelTime: 660  solveTime: 10760  totalTime: 11426  modelSize: 41293  readTime: 6 size: 13