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