(1,30) (2,23) (3,24) (4,21) (5,25) (6,22) (8,27) (9,26) (10,20) (12,29) (13,28) (14,17) (15,18) 
nodes: 7086  conflicts: 35  modelTime: 1155  solveTime: 20882  totalTime: 22061  modelSize: 41293  readTime: 24 size: 13