(1,17) (2,20) (3,16) (4,22) (5,27) (6,25) (7,29) (9,18) (10,23) (12,24) (13,19) (14,28) (15,30) 
nodes: 4537  conflicts: 42  modelTime: 667  solveTime: 6880  totalTime: 7553  modelSize: 41299  readTime: 6 size: 13