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