(1,25) (2,18) (3,27) (4,24) (6,19) (7,23) (8,28) (10,26) (11,17) (12,22) (13,29) (14,20) (15,16) 
nodes: 5916  conflicts: 31  modelTime: 655  solveTime: 10840  totalTime: 11501  modelSize: 41292  readTime: 6 size: 13