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