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