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