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