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