(1,16) (2,30) (3,22) (4,26) (6,24) (7,23) (8,20) (9,27) (10,18) (11,28) (12,17) (15,21) 
nodes: 1184  conflicts: 58  modelTime: 665  solveTime: 2097  totalTime: 2768  modelSize: 41292  readTime: 6 size: 12