(1,22) (2,17) (3,23) (5,24) (6,16) (7,20) (9,18) (10,26) (13,19) (14,25) (15,21) 
nodes: 1772  conflicts: 55  modelTime: 659  solveTime: 3334  totalTime: 4000  modelSize: 41292  readTime: 7 size: 11