(1,24) (2,20) (3,28) (4,25) (6,21) (7,17) (8,23) (9,19) (10,16) (11,29) (13,18) (14,26) (15,22) 
nodes: 2773  conflicts: 39  modelTime: 658  solveTime: 5975  totalTime: 6640  modelSize: 41292  readTime: 7 size: 13