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