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