(1,27) (2,16) (3,11) (4,21) (5,19) (6,26) (7,18) (8,29) (9,24) (10,13) (12,23) (15,22) (20,25) 
nodes: 1008  conflicts: 56  modelTime: 1719  solveTime: 5626  totalTime: 7365  modelSize: 72262  readTime: 20 size: 13