(2,20) (3,24) (5,30) (7,28) (8,17) (10,29) (11,19) (12,21) (13,25) (14,16) (15,18) 
nodes: 1995  conflicts: 55  modelTime: 660  solveTime: 2109  totalTime: 2775  modelSize: 41293  readTime: 6 size: 11