(2,20) (3,15) (4,18) (5,10) (6,13) (7,9) (11,30) (12,16) (14,25) (17,27) (19,22) (23,29) (24,26) 
nodes: 5160  conflicts: 76  modelTime: 1076  solveTime: 15837  totalTime: 16934  modelSize: 72262  readTime: 21 size: 13