(1,22) (2,19) (3,21) (4,24) (5,28) (6,23) (7,30) (10,26) (11,27) (13,20) (14,18) (15,17) 
nodes: 2350  conflicts: 54  modelTime: 658  solveTime: 2535  totalTime: 3200  modelSize: 41292  readTime: 7 size: 12