(1,23) (2,24) (3,16) (4,29) (5,19) (6,22) (7,30) (8,21) (12,18) (13,25) (14,17) (15,20) 
nodes: 3273  conflicts: 50  modelTime: 663  solveTime: 5087  totalTime: 5757  modelSize: 41292  readTime: 6 size: 12