(1,30) (4,22) (6,23) (7,29) (8,27) (9,21) (10,26) (11,25) (12,17) (13,16) (14,28) (15,18) 
nodes: 2216  conflicts: 44  modelTime: 659  solveTime: 2891  totalTime: 3556  modelSize: 41293  readTime: 6 size: 12