(1,23) (2,29) (3,17) (4,21) (5,22) (6,30) (7,25) (8,27) (9,28) (10,24) (11,19) (12,18) (14,20) (15,16) 
nodes: 6364  conflicts: 23  modelTime: 688  solveTime: 20394  totalTime: 21088  modelSize: 41293  readTime: 6 size: 14