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