(1,23) (2,24) (3,27) (4,22) (5,19) (6,16) (7,28) (8,20) (9,25) (10,18) (12,21) (13,17) (14,30) (15,29) 
nodes: 6498  conflicts: 11  modelTime: 658  solveTime: 19497  totalTime: 20159  modelSize: 41292  readTime: 4 size: 14