(1,26) (2,14) (3,21) (4,29) (5,11) (6,13) (7,27) (10,22) (12,24) (15,28) (16,19) (17,30) (23,25) 
nodes: 7275  conflicts: 80  modelTime: 956  solveTime: 36805  totalTime: 37773  modelSize: 72262  readTime: 12 size: 13