(1,22) (2,21) (3,17) (4,27) (6,18) (7,29) (8,26) (10,16) (11,19) (12,30) (13,25) (14,24) (15,20) 
nodes: 8393  conflicts: 39  modelTime: 669  solveTime: 17182  totalTime: 17857  modelSize: 41292  readTime: 6 size: 13