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