(1,23) (2,21) (3,26) (4,30) (5,29) (6,16) (7,25) (10,17) (12,24) (13,18) (14,27) (15,20) 
nodes: 1536  conflicts: 59  modelTime: 661  solveTime: 1434  totalTime: 2101  modelSize: 41293  readTime: 6 size: 12