(2,6) (3,30) (4,19) (5,25) (8,13) (10,22) (12,15) (18,23) (24,28) (26,27) 
nodes: 272  conflicts: 184  modelTime: 1585  solveTime: 3723  totalTime: 5322  modelSize: 72262  readTime: 14 size: 10