(1,27) (2,23) (4,28) (6,26) (7,16) (8,21) (9,30) (10,25) (11,22) (13,18) (14,19) (15,24) 
nodes: 5346  conflicts: 44  modelTime: 664  solveTime: 8998  totalTime: 9669  modelSize: 41293  readTime: 7 size: 12