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