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