(1,21) (2,20) (4,22) (5,23) (6,25) (7,18) (8,28) (10,30) (11,24) (12,26) (13,17) (14,16) (15,27) 
nodes: 1171  conflicts: 28  modelTime: 659  solveTime: 2080  totalTime: 2745  modelSize: 41292  readTime: 6 size: 13