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