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