(1,23) (3,21) (4,16) (5,26) (6,17) (7,29) (8,27) (9,28) (10,19) (12,18) (13,30) (14,20) 
nodes: 1934  conflicts: 45  modelTime: 659  solveTime: 3001  totalTime: 3666  modelSize: 41293  readTime: 6 size: 12