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