(1,24) (3,30) (4,17) (5,20) (6,23) (8,21) (9,19) (10,16) (11,25) (12,29) (13,18) (15,22) 
nodes: 902  conflicts: 63  modelTime: 675  solveTime: 1159  totalTime: 1841  modelSize: 41293  readTime: 7 size: 12