(1,24) (2,21) (3,19) (5,25) (6,18) (7,23) (8,16) (9,30) (10,20) (11,27) (12,29) (13,26) (14,28) (15,22) 
nodes: 5117  conflicts: 34  modelTime: 657  solveTime: 8017  totalTime: 8775  modelSize: 41293  readTime: 101 size: 14