(1,22) (2,27) (3,24) (4,13) (5,19) (6,28) (7,9) (8,25) (10,29) (11,18) (12,14) (17,21) (26,30) 
nodes: 719  conflicts: 75  modelTime: 1136  solveTime: 5519  totalTime: 6676  modelSize: 72262  readTime: 21 size: 13