(1,22) (2,24) (3,20) (4,21) (5,16) (6,25) (9,23) (10,30) (11,17) (12,29) (13,27) (15,19) 
nodes: 2512  conflicts: 58  modelTime: 664  solveTime: 3462  totalTime: 4146  modelSize: 41293  readTime: 20 size: 12