(1,23) (2,26) (3,29) (4,30) (6,18) (7,25) (8,19) (9,20) (10,17) (11,24) (13,16) (14,21) (15,28) 
nodes: 1810  conflicts: 45  modelTime: 659  solveTime: 2695  totalTime: 3361  modelSize: 41292  readTime: 7 size: 13