(1,25) (2,27) (4,22) (5,24) (6,29) (7,18) (8,26) (9,28) (10,20) (11,21) (12,16) (13,17) (14,23) (15,19) 
nodes: 5854  conflicts: 34  modelTime: 655  solveTime: 9626  totalTime: 10288  modelSize: 41292  readTime: 7 size: 14