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