(1,18) (2,20) (3,21) (4,19) (8,16) (9,24) (10,26) (11,22) (12,23) (14,17) (15,25) 
nodes: 1784  conflicts: 55  modelTime: 660  solveTime: 1680  totalTime: 2346  modelSize: 41292  readTime: 6 size: 11