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