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