(1,7) (2,4) (3,26) (5,10) (6,29) (8,17) (9,13) (11,24) (12,23) (14,21) (15,27) (16,18) (19,30) (20,25) (22,28) 
nodes: 35874  conflicts: 35  modelTime: 938  solveTime: 82326  totalTime: 83275  modelSize: 72262  readTime: 11 size: 15