(1,27) (2,19) (3,29) (4,24) (5,17) (6,25) (7,30) (8,22) (10,23) (11,18) (12,16) (13,21) (14,26) (15,28) 
nodes: 4756  conflicts: 11  modelTime: 656  solveTime: 9760  totalTime: 10421  modelSize: 41293  readTime: 5 size: 14