(1,17) (2,22) (3,18) (4,19) (5,27) (6,29) (7,24) (10,26) (11,25) (12,23) (13,21) (14,30) (15,20) 
nodes: 5223  conflicts: 20  modelTime: 658  solveTime: 9329  totalTime: 9993  modelSize: 41293  readTime: 6 size: 13