(1,28) (2,18) (3,30) (4,24) (6,27) (7,22) (8,26) (10,23) (11,20) (12,17) (13,29) (14,21) (15,19) 
nodes: 7861  conflicts: 27  modelTime: 659  solveTime: 12746  totalTime: 13411  modelSize: 41293  readTime: 6 size: 13