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