(2,22) (3,30) (4,24) (5,17) (6,23) (7,29) (8,26) (10,28) (11,19) (12,21) (14,20) (15,25) 
nodes: 1335  conflicts: 50  modelTime: 659  solveTime: 1986  totalTime: 2652  modelSize: 41293  readTime: 7 size: 12