(1,28) (2,22) (3,26) (4,20) (5,27) (6,30) (7,24) (8,17) (9,16) (10,23) (11,21) (12,19) (13,18) (15,29) 
nodes: 5051  conflicts: 46  modelTime: 658  solveTime: 8739  totalTime: 9404  modelSize: 41293  readTime: 7 size: 14