(1,16) (2,21) (3,29) (4,25) (6,20) (7,27) (8,19) (9,26) (11,30) (12,18) (13,17) (14,28) 
nodes: 985  conflicts: 40  modelTime: 659  solveTime: 1224  totalTime: 1889  modelSize: 41292  readTime: 6 size: 12