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