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