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