(1,30) (3,26) (4,29) (5,17) (6,21) (9,20) (10,28) (11,19) (13,24) (14,27) (15,25) 
nodes: 2179  conflicts: 66  modelTime: 806  solveTime: 3312  totalTime: 4125  modelSize: 41293  readTime: 7 size: 11