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