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