(1,24) (2,28) (3,26) (4,19) (5,17) (6,15) (8,29) (9,20) (11,27) (12,22) (14,30) (16,18) (21,23) 
nodes: 12981  conflicts: 73  modelTime: 943  solveTime: 41297  totalTime: 42250  modelSize: 72266  readTime: 10 size: 13