(1,29) (2,26) (3,27) (4,18) (5,28) (6,10) (7,24) (8,22) (9,13) (11,14) (12,19) (15,20) (17,25) (21,30) 
nodes: 4822  conflicts: 52  modelTime: 1705  solveTime: 18120  totalTime: 19846  modelSize: 72262  readTime: 20 size: 14