(1,24) (3,23) (4,19) (5,27) (6,16) (8,22) (9,28) (11,20) (12,21) (13,26) (15,18) 
nodes: 3310  conflicts: 54  modelTime: 674  solveTime: 6910  totalTime: 7591  modelSize: 41292  readTime: 6 size: 11